Formal Modeling of Airport Security Regulations using the Focal Environment.

David Delahaye, Jean-Frdric tienne, Vronique Donzeau-Gouge

Browse the full RE paper archive.