Thèse
- 1 résultats
Résultats de recherche
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Auteur: Ortiz Vega, J. J., 4 juil. 2023Superviseur: SCHOBBENS, P. (Promoteur), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (Personne externe) (Jury), Tripakis, S. (Personne externe) (Jury) & Akshay, S. (Personne externe) (Jury)
Student thesis: Doc types › Docteur en Sciences
Fichier