| Période | 18 sept. 2023 → 22 sept. 2023 |
|---|---|
| Type d'événement | Une conférence |
| Emplacement | Antwerp, BelgiqueAfficher sur la carte |
| Degré de reconnaissance | International |
Contenu connexe
-
Résultat de recherche
-
An Alternative Semantics for Timed Automata with Independent Clocks
Résultats de recherche: Contribution à un événement scientifique (non publié) › Résumé › Revue par des pairs
-
Thèses de l'étudiant
-
Modeling and Verifying Distributed and Real-Time Systems using Timed Automata with Partially Independent Clocks
Student thesis: Doc types › Docteur en Sciences