[LLL06] An attempt to combine UML and formal methods to model airport security

Conférence Internationale avec comité de lecture : CAISEÃ‚Â’06 Forum, January 2006,

Auteurs: Y. Ledru , R. Laleau , M. Lemoine , S. Vignes , D. Bert , V. Viguie Donzeau-Gouge , C. Dubois , F. Peureux

motcle:

Résumé: resume

Commentaires: note

Collaboration:

BibTeX

@inproceedings {
	LLL06,
	title	=	"{An attempt to combine UML and formal methods to model airport security}",
	author	=	" Y. Ledru and R. Laleau and M. Lemoine and S. Vignes and D. Bert and V. Viguie Donzeau-Gouge and C. Dubois and F. Peureux ",
	booktitle	=	"{CAISEÃ‚Â’06 Forum}",
	year	=	2006,
	month	=	"January",
	note	=	"{note}",
}