Author of the publication

Synergistic verification and validation of systems and software engineering models.

, , , , and . Int. J. Gen. Syst., 38 (7): 719-746 (2009)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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