2 search results - page 1 / 1 » Modeling Airport Security Regulations in Focal |
CAISE
2006
Springer
14 years 1 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 11 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...