Thesis
- 1 results
Search results
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Author: Ortiz Vega, J. J., 4 Jul 2023Supervisor: SCHOBBENS, P. (Supervisor), JACQUET, J. (Jury), Vanhoof, W. (Jury), Raskin, J. (External person) (Jury), Tripakis, S. (External person) (Jury) & Akshay, S. (External person) (Jury)
Student thesis: Doc types › Doctor of Sciences
File