Události

13. mezinárodní konference EUROCAST

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

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

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

Vybrané publikace

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

Vaše IPv4 adresa: 18.205.176.100