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

Abstract : no abstract
Type de document :
Article dans une revue
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2008, 13 (4), pp.133--157
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224662
Contributeur : Régine Laleau <>
Soumis le : mercredi 4 novembre 2015 - 22:50:45
Dernière modification le : jeudi 11 octobre 2018 - 08:48:02

Identifiants

  • HAL Id : hal-01224662, version 1

Collections

Citation

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, Lavoisier, 2008, 13 (4), pp.133--157. 〈hal-01224662〉

Partager

Métriques

Consultations de la notice

107