An introduction to timed automata

DOI10.1142/9789814271059_0004zbMATH Open1256.68111OpenAlexW4213049364MaRDI QIDQ4907856FDOQ4907856

P. Vijay Suman, Paritosh K. Pandya

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

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

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)

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)