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