%0 Conference Paper %1 conf/caise/LedruLLVBDDP06 %A Ledru, Yves %A Laleau, Régine %A Lemoine, Michel %A Vignes, Sylvie %A Bert, Didier %A Donzeau-Gouge, Véronique %A Dubois, Catherine %A Peureux, Fabien %B CAiSE Forum %D 2006 %E Boudjlida, Nacer %E Cheng, Dong %E Guelfi, Nicolas %I CEUR-WS.org %K dblp %T An attempt to combine UML and formal methods to model airport security. %U http://dblp.uni-trier.de/db/conf/caise/caisefo2006.html#LedruLLVBDDP06 %V 231

@inproceedings{conf/caise/LedruLLVBDDP06, added-at = {2023-03-10T00:00:00.000+0100}, author = {Ledru, Yves and Laleau, Régine and Lemoine, Michel and Vignes, Sylvie and Bert, Didier and Donzeau-Gouge, Véronique and Dubois, Catherine and Peureux, Fabien}, biburl = {https://www.bibsonomy.org/bibtex/2c4d8b374ac110105e8799a96b742e4f0/dblp}, booktitle = {CAiSE Forum}, crossref = {conf/caise/2006fo}, editor = {Boudjlida, Nacer and Cheng, Dong and Guelfi, Nicolas}, ee = {https://ceur-ws.org/Vol-231/Paper11.pdf}, interhash = {eb5cfae35a03e822d87c7659faeb84d9}, intrahash = {c4d8b374ac110105e8799a96b742e4f0}, keywords = {dblp}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T17:05:43.000+0200}, title = {An attempt to combine UML and formal methods to model airport security.}, url = {http://dblp.uni-trier.de/db/conf/caise/caisefo2006.html#LedruLLVBDDP06}, volume = 231, year = 2006 }