Timed automata with disjoint activity

DOI10.1007/978-3-642-33365-1_14MaRDI QIDQ4649396zbMATH OpenOpenAlexFDO

Authors Marco Muñiz, Bernd Westphal, Andreas Podelski

Publication date 21 November 2012

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-33365-1_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• An introduction to timed automata
• scientific article; zbMATH DE number 6300098
• Model checking of systems with many identical timed processes
• scientific article; zbMATH DE number 1507209
• Symbolic and compositional reachability for timed automata

Cited in

(5)

• Structural transformations for data-enriched real-time systems
• Transformations for compositional verification of assumption-commitment properties
• Layered composition for timed automata
• A unified model for real-time systems: symbolic techniques and implementation
• Verification in loosely synchronous queue-connected discrete timed automata.

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Timed automata with disjoint activity

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