Thirteen International Conference On Computer Aided Systems Theory

 

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

Section moderators (members from FIT)

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

Selected publications

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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 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, p. 22-23, ISBN 978-84-693-9560-8

Your IPv4 address: 50.16.108.167
Switch to IPv6 connection

DNSSEC [dnssec]