Contributions to parametric timed model checking: Theory and algorithms
Contributions au model-checking temporisé paramétré : théorie et algorithmes
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Étienne André : Connectez-vous pour contacter le contributeur
https://theses.hal.science/tel-01857440
Soumis le : jeudi 16 août 2018-10:23:30
Dernière modification le : vendredi 29 novembre 2024-03:29:28
Archivage à long terme le : samedi 17 novembre 2018-12:27:59