Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Yves Ledru' in GoogleThis author has not been identified. Look up 'Régine Laleau' in GoogleThis author has not been identified. Look up 'Sylvie Vignes' in Google

runs on WebDSL