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.
Abstract is missing.