Reasoning about Airport Security Regulations Using the Focal Environment.

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

Browse the full ISoLA paper archive.