Hybrid Systems: Computation and Control

DOI10.1007/11730637zbMath1178.68340OpenAlexW2478741156MaRDI QIDQ5898979

Rupak Majumdar, Michael Emmi

Publication date: 2 May 2007

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

Full work available at URL: https://doi.org/10.1007/11730637

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Time-Bounded Verification ⋮ A Logical Characterization of Timed Pushdown Languages ⋮ Logics for Weighted Timed Pushdown Automata ⋮ A survey of timed automata for the development of real-time systems ⋮ Unnamed Item ⋮ Reachability relations of timed pushdown automata ⋮ Event-Clock Visibly Pushdown Automata ⋮ Context-free timed formalisms: robust automata and linear temporal logics

Uses Software

• Bebop

This page was built for publication: Hybrid Systems: Computation and Control