Author of the publication

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)

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)Model checking based service delivery planning., , , , , and . CCECE, page 1-4. IEEE, (2012)The multi-depot split-delivery vehicle routing problem: Model and solution algorithm., , , and . Knowl. Based Syst., (2014)