CA:LLL06

Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. An attempt to combine UML and formal methods to model airport security. In CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, N. Boudjlida, N. Guelfi (eds.), Pages 47-50, Presses universitaires de Namur, Luxembourg, June 2006.

Contact

Yves Ledru
Didier Bert

BibTex Reference

@InProceedings{CA:LLL06,
   Author = {Ledru, Y. and Laleau, R. and Lemoine, M. and Vignes, S. and Bert, D. and Donzeau-Gouge, V. and Dubois, C. and Peureux, F.},
   Title = {An attempt to combine UML and formal methods to model airport security},
   BookTitle = {CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering},
   editor = {Boudjlida, N. and Guelfi, N.},
   Pages = {47--50},
   Address = {Presses universitaires de Namur, Luxembourg},
   Month = {June},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)