Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des Systèmes d'Information, RSTI, série ISI, 13(4):133-157, 2008.
@article{ACL:LLV08,
Author = {Ledru, Yves and Laleau, Régine and Vignes, Sylvie},
Title = {{Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports}},
Journal = {Ingénierie des Systèmes d'Information, RSTI, série ISI},
Volume = {13},
Number = {4},
Pages = {133--157},
Year = {2008}
}
Charger la référence EndNote (.ref)