An introduction to timed automata

DOI10.1142/9789814271059_0004MaRDI QIDQ4907856zbMATH OpenOpenAlexFDO

Authors Paritosh K. Pandya, P. Vijay Suman

Publication date 26 February 2013

Published in Modern Applications of Automata Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/9789814271059_0004

zbMATH Keywords

model checkingreal-time systemstimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A theory of timed automata
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 6300098
• Model Checking Real-Time Systems
• scientific article; zbMATH DE number 1507209

This page was built for publication: An introduction to timed automata

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