An attempt to combine UML and formal methods to model airport security
Résumé
resume
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125236
Soumis le : vendredi 6 mars 2015-11:03:16
Dernière modification le : lundi 26 août 2024-14:30:19