Period
2008 - 2008
Number
1
Co-Authors
methods to model airport security (2008)
Yves Ledru, Régine Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau, ...
attempt to combine UML and formal methods to model