2 search results - page 1 / 1 » Modeling Airport Security Regulations in Focal |
CAISE
2006
Springer
13 years 9 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
CAISE
2006
Springer
13 years 7 months ago
2006
Springer
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 ver...