70237362

a

70237362 Ledru, Yves Laleau, R\'egine Lemoine, Michel Vignes, Sylvie Bert, Didier Donzeau-Gouge, V\'eronique Dubois, Catherine Peureux, Fabien An attempt to combine UML and formal methods to model airport security CAiSE Forum (2006). 2006 EN

http://www.ceur-ws.org/Vol-231/Paper11.pdf