Thirteen International Conference On Computer Aided Systems Theory

 

Las Palmas de Gran Canaria, Canary Islands 6.-11.2.2011

Předsedající sekcí (členové z FIT)

Švéda Miroslav, prof. Ing., CSc., 10. Model-Based System Design, Simulation, and Verification

Vybrané publikace

2012Květoňová Šárka, Kolář Dušan: People Transfer in City Transport Modeled via CPN, In: Computer Aided Systems Theory - EUROCAST 2011, Heidelberg, DE, Springer, 2012, s. 192-199, ISBN 978-3-642-27548-7
2011Češka Milan, Fiedor Jan, Gach Marek: A Novel Approach to Modechart Verification of Real-Time Systems, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 338-339, ISBN 978-84-693-9560-8
 Dudka Kamil, Peringer Petr, Vojnar Tomáš: An Easy to Use Infrastructure for Building Static Analysis Tools, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 328-329, ISBN 978-84-693-9560-8
 Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš: A Uniform Classification of Common Concurrency Errors, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 326-327, ISBN 978-84-693-9560-8
 Kočí Radek, Janoušek Vladimír: On the Simulation-Based Development of Systems Using Petri Nets, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, ES, IUCTC, 2011, s. 1-2, ISBN 978-84-693-9560-8
 Květoňová Šárka, Kolář Dušan: People Transfer in City Transport Modeled via CPN, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 106-107, ISBN 978-84-693-9560-8
 Novosad Petr, Češka Milan: Unfoldings of Bounded Hybrid Petri Nets, In: Proceedings of the 13th International Conference on Computer Aided Systems Theory, Universidad de Las Palmas de Canaria, ES, IUCTC, 2011, s. 334-335, ISBN 978-84-693-9560-8
 Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, s. 22-23, ISBN 978-84-693-9560-8

Vaše IPv4 adresa: 184.72.91.94
Přepnout na IPv6 spojení

DNSSEC [dnssec]