|
methods to model airport security (2008) |
- Yves Ledru,
- Régine Laleau,
- M. Lemoine,
- S. Vignes,
- D. Bert,
- V. Donzeau,
- C. Dubois,
- F. Peureux,
- Yves Ledru,
- Régine Laleau,
- M. Lemoine,
- S. Vignes,
- D. Bert,
- Yves Ledru,
- Régine Laleau,
- Michel Lemoine,
- Sylvie Vignes,
- Didier Bert,
- Véronique Donzeau-gouge,
- Catherine Dubois,
- Fabien Peureux
|
Abstract |
|
attempt to combine UML and formal methods to model |
Publication details |
|