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

https://hal.archives-ouvertes.fr/hal-01224662
Contributor : Régine Laleau <>
Submitted on : Wednesday, November 4, 2015 - 10:50:45 PM
Last modification on : Friday, December 20, 2019 - 1:36:39 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

133