Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports - Archive ouverte HAL Access content directly
Journal Articles Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information Year : 2008

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
Not file

Dates and versions

hal-01224662 , version 1 (04-11-2015)

Identifiers

  • HAL Id : hal-01224662 , version 1

Cite

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, 2008, 13 (4), pp.133--157. ⟨hal-01224662⟩
59 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More