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 ». Communication lors de la conférence : 2nd International Workshop on Synthesis of Complex Parameters (SynCoP) (London, United Kingdom, Apr. 11, 2015).

The full text of this document is not available here.
Item Type: Communication (Communication)
Additional Information: Résumé disponible ici : https://doi.org/10.4230/OASIcs.SynCoP.2015.104
Professor:
Professor
Coti, Camille
Affiliation: Autres
Date Deposited: 09 May 2023 20:17
Last Modified: 09 May 2023 20:17
URI: https://espace2.etsmtl.ca/id/eprint/26364

Actions (login required)

View Item View Item