Nested Timed Automata with Invariants

DOI10.1007/978-3-319-69483-2_5MaRDI QIDQ5045378zbMATH OpenOpenAlexFDO

Authors Yuwei Wang, Shoji Yuen, Guoqiang Li

Publication date 4 November 2022

Published in Dependable Software Engineering. Theories, Tools, and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-69483-2_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Nested timed automata
• Nested timed automata with frozen clocks
• Invariants of timed Petri nets
• Timed automata with non-instantaneous actions
• On termination and boundedness of nested updatable timed automata
• A theory of timed automata
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098
• Timed automata

Cited in

(3)

• Nested timed automata with frozen clocks
• Nested timed automata
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

This page was built for publication: Nested Timed Automata with Invariants

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