Communication Dans Un Congrès Année : 2006

An attempt to combine UML and formal methods to model airport security

Yves Ledru
Michel Lemoine
  • Fonction : Auteur
Sylvie Vignes
  • Fonction : Auteur
Didier Bert
Fabien Peureux
  • Fonction : Auteur

Résumé

resume
Fichier non déposé

Dates et versions

hal-01125236 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125236 , version 1

Citer

Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, et al.. An attempt to combine UML and formal methods to model airport security. CAISE’06 Forum, Jan 2006, X, France. ⟨hal-01125236⟩
43 Consultations
0 Téléchargements

Partager

More