| Period | 18 Sept 2023 → 22 Sept 2023 |
|---|---|
| Event type | Conference |
| Location | Antwerp, BelgiumShow on map |
| Degree of Recognition | International |
Related content
-
Research output
-
An Alternative Semantics for Timed Automata with Independent Clocks
Research output: Contribution to conference › Abstract › peer-review
-
Student theses
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Student thesis: Doc types › Doctor of Sciences