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
Régine Laleau : Connect in order to contact the contributor
https://hal.science/hal-01224662
Submitted on : Wednesday, November 4, 2015-10:50:45 PM
Last modification on : Wednesday, April 12, 2023-1:42:10 PM