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.

 

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

On the verification and validation of uml structural and behavioral diagrams., , , и . ACST, стр. 304-309. IASTED/ACTA Press, (2006)Transportation risk analysis using probabilistic model checking., , , , , , и . Expert Syst. Appl., 42 (9): 4410-4421 (2015)A Unified Approach for Verification and Validation of Systems and Software Engineering Models., , , , и . ECBS, стр. 409-418. IEEE Computer Society, (2006)Towards a Distributed Plan Execution Monitoring Framework., , , , , и . ANT/SEIT, том 19 из Procedia Computer Science, стр. 1034-1039. Elsevier, (2013)Gossiping Based Distributed Plan Monitoring., , , , и . ANT/SEIT, том 19 из Procedia Computer Science, стр. 72-79. Elsevier, (2013)Hierarchy aware distributed plan execution monitoring., , , , и . Expert Syst. Appl., (2016)A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP., , , , и . KES, том 243 из Frontiers in Artificial Intelligence and Applications, стр. 49-58. IOS Press, (2012)Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité., , , и . Technique et Science Informatiques, 28 (5): 611-644 (2009)Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams., , , и . ECBS, стр. 515-522. IEEE Computer Society, (2007)A decentralized heuristic for multi-depot split-delivery vehicle routing problem., , , , , и . ICAL, стр. 70-75. IEEE, (2011)