Formal Modeling of Airport Security Regulations using the Focal Environment
Résumé
-
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01125583
Soumis le : vendredi 6 mars 2015-11:14:59
Dernière modification le : vendredi 19 juillet 2024-11:38:04