Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité d'aéroports
Résumé
no abstract
Régine Laleau : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01224662
Soumis le : mercredi 4 novembre 2015-22:50:45
Dernière modification le : lundi 9 octobre 2023-12:49:39