André, Étienne, Coti, Camille et Nguyen, Hoang Gia. 2015. « Enhanced Distributed Behavioral Cartography of Parametric Timed Automata ». Communication lors de la conférence : 2nd International Workshop on Synthesis of Complex Parameters (SynCoP) (London, United Kingdom, Apr. 11, 2015).
Le plein texte de ce document n'est pas hébergé sur ce serveur.| Type de document: | Communication (Communication) |
|---|---|
| Informations complémentaires: | Résumé disponible ici : https://doi.org/10.4230/OASIcs.SynCoP.2015.104 |
| Professeur: | Professeur Coti, Camille |
| Affiliation: | Autres |
| Date de dépôt: | 09 mai 2023 20:17 |
| Dernière modification: | 09 mai 2023 20:17 |
| URI: | https://espace2.etsmtl.ca/id/eprint/26364 |
Actions (Authentification requise)
 |
Dernière vérification avant le dépôt |