An attempt to combine UML and formal methods to model airport security - Archive ouverte HAL Accéder directement au contenu
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
  • Fonction : Auteur
  • PersonId : 1202581
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⟩
39 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More