Výzkumná skupina modelování a optimalizace

Publikace

2017KOČÍ Radek a JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, roč. 10, č. 12, s. 121-131. ISSN 1942-2628.
 KOČÍ Radek a JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, s. 232-237. ISBN 978-1-61208-590-6.
2016KOČÍ Radek a JANOUŠEK Vladimír. Modeling System Requirements Using Use Cases and Petri Nets. In: ThinkMind ICSEA 2016, The Eleventh International Conference on Software Engineering Advances. Řím: Xpert Publishing Services, 2016, s. 160-165. ISBN 978-1-61208-498-5.
2014KOČÍ Radek a JANOUŠEK Vladimír. Formal Models in Software Development and Deployment: A Case Study. International Journal on Advances in Software. 2014, roč. 7, č. 1, s. 266-276. ISSN 1942-2628.
2013JANOUŠEK Vladimír a RICHTA Tomáš. Operating System for Petri Nets-Specified Reconfigurable Embedded Systems. In: Proceedings of the 14th Computer Aided Systems Theory. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2013, s. 248-249. ISBN 978-84-695-6971-9.

Zobrazit všechny publikace

Disertační a habilitační práce

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

DNSSEC [dnssec]