Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. In Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007. pages 155-170, 2007.
@inproceedings{LedruLV07,
title = {Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports},
author = {Yves Ledru and Régine Laleau and Sylvie Vignes},
year = {2007},
researchr = {https://researchr.org/publication/LedruLV07},
cites = {0},
citedby = {0},
pages = {155-170},
booktitle = {Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007},
}