Enhanced distributed behavioral cartography of parametric timed automata

André, Étienne, Coti, Camille et Nguyen, Hoang Gia. 2015. « Enhanced distributed behavioral cartography of parametric timed automata ». In Formal Methods and Software Engineering : 17th International Conference on Formal Engineering Methods, ICFEM (Paris, France, Nov. 03-05, 2015) Coll. « Lecture Notes in Computer Science », vol. 9407. pp. 319-335. Springer.
Compte des citations dans Scopus : 2.

Le plein texte de ce document n'est pas hébergé sur ce serveur.

Rechercher dans Google Scholar

URL Officielle: https://doi.org/10.1007/978-3-319-25423-4_21

Type de document:	Compte rendu de conférence
Professeur:	Professeur Coti, Camille
Affiliation:	Autres
Date de dépôt:	09 mai 2023 20:23
Dernière modification:	09 mai 2023 20:23
URI:	https://espace2.etsmtl.ca/id/eprint/26371

Actions (Authentification requise)

Dernière vérification avant le dépôt