FRANÇAIS
A showcase of ÉTS researchers’ publications and other contributions
SEARCH

Enhanced distributed behavioral cartography of parametric timed automata

André, Étienne, Coti, Camille and 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.

The full text of this document is not available here.
Rechercher dans Google Scholar
Item Type: Conference proceeding
Professor:
Professor
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 20:23
Last Modified: 09 May 2023 20:23
URI: https://espace2.etsmtl.ca/id/eprint/26371

Actions (login required)

View Item View Item