Layered composition for timed automata

DOI10.1007/978-3-642-15297-9_18MaRDI QIDQ3588097zbMATH OpenOpenAlexFDO

Authors Mani Swaminathan, Ernst-Rüdiger Olderog

Publication date 10 September 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15297-9_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Timed automata with disjoint activity
• Structural transformations for data-enriched real-time systems
• A theory of timed automata
• Compositional design of stochastic timed automata
• scientific article; zbMATH DE number 1507209

Cited in

(4)

• An alternative definition for timed automata composition
• Structural transformations for data-enriched real-time systems
• Layered reasoning for randomized distributed algorithms
• Algebraic state space approach to model and control combined automata

This page was built for publication: Layered composition for timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3588097)