Using Computer Science Modeling Techniques for Airport Security Certification | 1 | 0.35 | 2007 |
An attempt to combine UML and formal methods to model airport security | 2 | 0.37 | 2006 |
Modeling Airport Security Regulations in Focal | 0 | 0.34 | 2006 |
Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006 | 29 | 1.66 | 2006 |
Adopting a situational requirements engineering approach for the analysis of civil aviation security standards | 4 | 0.75 | 2006 |
Building certified components within FOCAL | 13 | 1.23 | 2004 |
A methodological process for the design of a large system: two industrial case-studies | 2 | 0.46 | 2002 |
Deriving Software Specifications from Event Based Models | 0 | 0.34 | 2000 |
Documents Structure and Modularity in Mentor | 17 | 4.42 | 1984 |
Outline of a Tool for Document Manipulation | 5 | 1.16 | 1983 |
On the formal definition of ADA | 2 | 0.68 | 1980 |