Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Année : 2008

Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01224662 , version 1 (04-11-2015)

Identifiants

  • HAL Id : hal-01224662 , version 1

Citer

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é d'aéroports. Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2008, 13 (4), pp.133--157. ⟨hal-01224662⟩
66 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More