Runtime enforcement of timed properties using games
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Antoine Rollet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02920384
Soumis le : mercredi 17 février 2021-10:32:58
Dernière modification le : jeudi 4 avril 2024-21:35:01
Archivage à long terme le : mardi 18 mai 2021-18:29:59