An attempt to combine UML and formal methods to model airport security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux. An attempt to combine UML and formal methods to model airport security. In Nacer Boudjlida, Dong Cheng, Nicolas Guelfi, editors, The 18th Conference on Advanced Information Systems Engineering (CAiSE 06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg, June 5-9, 2006. Volume 231 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]

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 'Michel Lemoine' in GoogleThis author has not been identified. Look up 'Sylvie Vignes' in GoogleThis author has not been identified. Look up 'Didier Bert' in GoogleThis author has not been identified. Look up 'Véronique Donzeau-Gouge' in GoogleThis author has not been identified. Look up 'Catherine Dubois' in GoogleThis author has not been identified. Look up 'Fabien Peureux' in Google

runs on WebDSL