Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadata

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, November 19, 2020 - 3:34:05 PM

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

145