Distributed Behavioral Cartography of Timed Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Étienne André, Camille Coti, Sami Evangelista. Distributed Behavioral Cartography of Timed Automata. In Jack Dongarra, Yutaka Ishikawa, Atsushi Hori, editors, 21st European MPI Users' Group Meeting, EuroMPI/ASIA '14, Kyoto, Japan - September 09 - 12, 2014. pages 109, ACM, 2014. [doi]

The following publications are possibly variants of this publication:

Enhanced Distributed Behavioral Cartography of Parametric Timed AutomataÉtienne André, Camille Coti, Hoang Gia Nguyen. icfem 2015: 319-335 [doi]

Behavioral Cartography of Timed AutomataÉtienne André, Laurent Fribourg. rp 2010: 76-90 [doi]

Enhanced Distributed Behavioral Cartography of Parametric Timed Automata (Informal Presentation)Étienne André, Camille Coti, Hoang Gia Nguyen. syncop 2015: 104-105 [doi]

runs on WebDSL