Skip to Main content Skip to Navigation
Conference papers

Certifying Airport Security Regulations using the Focal Environment

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01125368
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:07:26 AM
Last modification on : Saturday, February 9, 2019 - 1:23:36 AM

Identifiers

  • HAL Id : hal-01125368, version 1

Collections

Citation

David Delahaye, Jean-Frédéric Etienne, Veronique Viguie Donzeau-Gouge. Certifying Airport Security Regulations using the Focal Environment. FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, Jan 2006, X, France. pp.48-63. ⟨hal-01125368⟩

Share

Metrics

Record views

30