An attempt to combine UML and formal methods to model airport security.

Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux

Browse the full CaiSE paper archive.