Skip to Main content Skip to Navigation
Book sections

Modeling Airport Security Regulations

Yves Ledru 1
1 VASCO - Validation de Systèmes, Composants et Objets logiciels
LIG - Laboratoire d'Informatique de Grenoble
Résumé : no abstract
Document type :
Book sections
Complete list of metadata

https://hal.inria.fr/hal-00953595
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 1:54:39 PM
Last modification on : Tuesday, December 8, 2020 - 10:18:09 AM

Identifiers

  • HAL Id : hal-00953595, version 1

Collections

Citation

Yves Ledru. Modeling Airport Security Regulations. Seidenstat, Paul and X. Splane, Francis. Protecting Airline Passengers in the Age of Terrorism, 12, Greenwood Publishing Group, Praeger Security International, pp.228-246, 2009. ⟨hal-00953595⟩

Share

Metrics

Record views

288