Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux. An attempt to combine UML and formal methods to model airport security. In Nacer Boudjlida, Dong Cheng, Nicolas Guelfi, editors, The 18th Conference on Advanced Information Systems Engineering (CAiSE 06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg, June 5-9, 2006. Volume 231 of CEUR Workshop Proceedings, CEUR-WS.org, 2006. [doi]
@inproceedings{LedruLLVBDDP06,
title = {An attempt to combine UML and formal methods to model airport security},
author = {Yves Ledru and Régine Laleau and Michel Lemoine and Sylvie Vignes and Didier Bert and Véronique Donzeau-Gouge and Catherine Dubois and Fabien Peureux},
year = {2006},
url = {http://www.ceur-ws.org/Vol-231/Paper11.pdf},
tags = {UML, security},
researchr = {https://researchr.org/publication/LedruLLVBDDP06},
cites = {0},
citedby = {0},
booktitle = {The 18th Conference on Advanced Information Systems Engineering (CAiSE 06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg, June 5-9, 2006},
editor = {Nacer Boudjlida and Dong Cheng and Nicolas Guelfi},
volume = {231},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}