|
 
|
[DEV06] Certifying Airport Security Regulations using the Focal Environment
Conférence Internationale avec comité de lecture : FM'06: 14th Symposium on Formal Methods, Hamilton, Canada, January 2006, Vol. 4085, pp.48-63, Series LNCS,
motcle:
Equipe:
sys
BibTeX
| @inproceedings { | |||
| DEV06, | |||
| title | = | "{Certifying Airport Security Regulations using the Focal Environment}", | |
| author | = | " D. Delahaye and J. Etienne and V. Viguie Donzeau-Gouge ", | |
| booktitle | = | "{FM'06: 14th Symposium on Formal Methods, Hamilton, Canada}", | |
| year | = | 2006, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 4085, | |
| pages | = | "48-63", | |
| } | |||
