Specification and analysis of automata-based designs

DOI10.1007/3-540-40911-4_11MaRDI QIDQ4471917zbMATH OpenFDO

Authors Jeremy W. Bryans, Lynne Blair, John Derrick, Howard Bowman

Publication date 30 July 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450176.htm, http://kar.kent.ac.uk/21939/1/Specification_and_Analysis_of_Automata-based_Designs.ps

zbMATH Keywords

model checkingstochastic automataTimed automata

Mathematics Subject Classification ID

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

Recommendations

• Timed automata
• scientific article; zbMATH DE number 1569133
• Timed automata
• Compositional design of stochastic timed automata
• An integrated approach for the specification and analysis of stochastic real-time systems

Cited in

(6)

• scientific article; zbMATH DE number 4078822 (Why is no real title available?)
• scientific article; zbMATH DE number 1569133 (Why is no real title available?)
• An integrated approach for the specification and analysis of stochastic real-time systems (short abstract)
• Towards a methodological approach to specification and analysis of dependable automation systems
• Compositional design of stochastic timed automata
• The design of checkable automata. II

This page was built for publication: Specification and analysis of automata-based designs

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