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{CN:DBLP:conf:inforsid:LedruLV07,
Author = {Ledru, Yves and Laleau, Régine and Vignes, Sylvie},
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},
BookTitle = {Actes du XXV{è}me Congr{è}s INFORSID, Perros-Guirec, France, 22 au 25 mai 2007},
Pages = {155--170},
Year = {2007}
}
Get EndNote Reference (.ref)