Skip to content
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Postes 2025
Séminaire
Contact
Comment venir ?
Connexion
Présentation
Équipes
Logique, calcul et programmation
Spécification et vérification de systèmes
Masters
Membres
Publications
Postes 2025
Séminaire
Contact
Comment venir ?
Connexion
TBA
12 mai 2025
Kostia Chardonnet
(INRIA Nancy)
TBA
Navigation de l’article
Extending Timed Automata with Clock Derivatives
A framework for locally structured spaces
