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 Connect in order to contact the contributor
Submitted on : Wednesday, November 4, 2015 - 10:50:45 PM
Last modification on : Tuesday, October 19, 2021 - 11:16:53 PM

Identifiers

  • HAL Id : hal-01224662, version 1

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

57