Sciweavers

Share
CAISE
2006
Springer

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

8 years 11 months ago
An attempt to combine UML and formal methods to model airport security
The EDEMOI project aims to model standards that regulate airport security. It involves the production of a UML model, to support the validation activity, and a formal model for verification purposes. This paper discusses the use of the RoZ tool to establish a strong link between both models and lists the problems faced during this translation.
Yves Ledru, Régine Laleau, Michel Lemoine,
Added 13 Oct 2010
Updated 13 Oct 2010
Type Conference
Year 2006
Where CAISE
Authors Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux
Comments (0)
books