[DEV08b] Formal Modeling of Airport Security Regulations using the Focal Environment

Conférence Internationale avec comité de lecture : RELAW'08 Requirements Engineering and Law, Barcelona (Spain), January 2008, pp.16-20,

Auteurs: D. Delahaye , J. Etienne , V. Viguie Donzeau-Gouge

motcle:

Résumé: -

Equipe: sys

BibTeX

@inproceedings {
	DEV08b,
	title	=	"{Formal Modeling of Airport Security Regulations using the Focal Environment}",
	author	=	" D. Delahaye and J. Etienne and V. Viguie Donzeau-Gouge ",
	booktitle	=	"{RELAW'08 Requirements Engineering and Law, Barcelona (Spain)}",
	year	=	2008,
	edition	=	"IEEE CS Press",
	month	=	"January",
	pages	=	"16-20",
}