scientific article; zbMATH DE number 6300098

MaRDI QIDQ5418249zbMATH OpenFDO

Authors Jun Sun, Yang Liu, Jin-Song Dong

Publication date 3 June 2014

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690
• Timed automata
• Timed P Automata
• Timed P Automata
• Timed P automata
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Formalized timed automata
• A theory of timed automata

Cited in

(25)

• Dynamical properties of timed automata
• Timed automata
• A flattening algorithm for hierarchical timed automata
• Shrinking timed automata
• Timed Automata Can Always Be Made Implementable
• scientific article; zbMATH DE number 5997233 (Why is no real title available?)
• Solving the time varying postman problems with timed automata
• scientific article; zbMATH DE number 1189294 (Why is no real title available?)
• Timed automata with disjoint activity
• scientific article; zbMATH DE number 2140431 (Why is no real title available?)
• scientific article; zbMATH DE number 2143087 (Why is no real title available?)
• scientific article; zbMATH DE number 1839448 (Why is no real title available?)
• scientific article; zbMATH DE number 795181 (Why is no real title available?)
• An introduction to timed automata
• Structural transformations for data-enriched real-time systems
• scientific article; zbMATH DE number 7362731 (Why is no real title available?)
• Nested Timed Automata with Invariants
• A menagerie of timed automata
• Timed P Automata
• scientific article; zbMATH DE number 5173925 (Why is no real title available?)
• Logics in Artificial Intelligence
• An introduction to timed automata
• Lectures on Concurrency and Petri Nets
• Weak alternating timed automata
• Formal Methods at the Crossroads. From Panacea to Foundational Support

This page was built for publication:

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