 |
Brevet
A method, software and processing unit for verifying properties of interactive components
https://hal-enac.archives-ouvertes.fr/hal-01610675
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : mercredi 4 octobre 2017 - 22:32:15
Dernière modification le : mercredi 3 novembre 2021 - 06:35:54
Contributeur : Laurence Porte Connectez-vous pour contacter le contributeur
Soumis le : mercredi 4 octobre 2017 - 22:32:15
Dernière modification le : mercredi 3 novembre 2021 - 06:35:54