Events

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., UIFS FIT VUT, 10. Model-Based System Design, Simulation, and Verification

Selected publications

2012KVĚTOŇOVÁ Šárka and KOLÁŘ Dušan. People Transfer in City Transport Modeled via CPN. In: Computer Aided Systems Theory - EUROCAST 2011. Heidelberg: Springer Verlag, 2012, pp. 192-199. ISBN 978-3-642-27548-7.
2011DUDKA Kamil, PERINGER Petr and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 328-329. ISBN 978-84-693-9560-8.
 FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 326-327. ISBN 978-84-693-9560-8.
 KOČÍ Radek and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 1-2. ISBN 978-84-693-9560-8.
 KVĚTOŇOVÁ Šárka and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 106-107. ISBN 978-84-693-9560-8.
 NOVOSAD Petr and Č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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 334-335. ISBN 978-84-693-9560-8.
 ŠVÉDA Miroslav, RYŠAVÝ Ondřej and MATOUŠEK Petr. Supporting Safe and Secure Networked System Design. In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 22-23. ISBN 978-84-693-9560-8.
 ČEŠKA Milan, FIEDOR Jan and 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: The Universidad de Las Palmas de Gran Canaria, 2011, pp. 338-339. ISBN 978-84-693-9560-8.

Your IPv4 address: 3.91.157.213
Switch to https