Login / Signup
An attempt to combine UML and formal methods to model airport security.
Yves Ledru
Régine Laleau
Michel Lemoine
Sylvie Vignes
Didier Bert
Véronique Donzeau-Gouge
Catherine Dubois
Fabien Peureux
Published in:
CAiSE Forum (2006)
Keyphrases
</>
formal methods
formal analysis
case study
high level
database systems
model checking
formal model
metamodel
formal specification
model checker
process algebra