scientific article; zbMATH DE number 2079815

MaRDI QIDQ4471917zbMATH OpenFDO

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

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450176.htm

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

• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 1569133
• scientific article; zbMATH DE number 2102690
• 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?)
• scientific article; zbMATH DE number 2090712 (Why is no real title available?)
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Compositional design of stochastic timed automata
• The design of checkable automata. II

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 Q4471917)