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
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
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224662
Soumis le : mercredi 4 novembre 2015-22:50:45
Dernière modification le : mardi 17 septembre 2024-15:49:31
Dates et versions
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⟩
73
Consultations
0
Téléchargements