From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Design, modeling and analysis of ITS using UML and Petri Nets., , , и . ITSC, стр. 314-319. IEEE, (2007)Extreme Symmetries in Complex Distributed Systems: The Bag-Oriented Approach., , , и . Monterey Workshop, том 7539 из Lecture Notes in Computer Science, стр. 330-352. Springer, (2012)UML behavioral consistency checking using instantiable Petri nets., и . Innov. Syst. Softw. Eng., 4 (3): 293-300 (2008)Service functional testing automation with intelligent scheduling and planning., , , , , и . SAC, стр. 1605-1610. ACM, (2016)Extending PNML Scope: the Prioritised Petri Nets Experience., , , и . PNSE, том 723 из CEUR Workshop Proceedings, стр. 92-106. CEUR-WS.org, (2011)Exact and Efficient Temporal Steering of Software Behavioral Model Inference., , , и . ICECCS, стр. 166-175. IEEE Computer Society, (2014)Optimization of the Product Configuration System of Renault., , , , , и . SAC, стр. 1486-1489. ACM, (2023)Presentation of the 9th Edition of the Model Checking Contest., , , , , , , , , и 9 other автор(ы). TACAS (3), том 11429 из Lecture Notes in Computer Science, стр. 50-68. Springer, (2019)A Fully Dynamic Approach to the Reverse Engineering of UML Sequence Diagrams., , , и . ICECCS, стр. 107-116. IEEE Computer Society, (2011)An Experience Report on the Optimization of the Product Configuration System of Renault *., , , , , и . ICECCS, стр. 197-206. IEEE, (2023)