System Modelling and Optimization Research Group


2017KOČÍ Radek and JANOUŠEK Vladimír. Specification of Requirements Using Unified Modeling Language and Petri Nets. International Journal on Advances in Software. 2017, vol. 10, no. 12, pp. 121-131. ISSN 1942-2628.
 KOČÍ Radek and JANOUŠEK Vladimír. Validation of Specification Models Based on Petri Nets. In: Software Engineering Advances. Ateny: Xpert Publishing Services, 2017, pp. 232-237. ISBN 978-1-61208-590-6.

Show all publications

Your IPv4 address:
Switch to https