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
Document type :
Journal articles
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01224662
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:45 PM
Last modification on : Thursday, October 11, 2018 - 8:48:02 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

116