A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems

DOI10.1007/978-3-540-73210-5_23MaRDI QIDQ3608893zbMATH OpenOpenAlexFDO

Authors Graeme Smith, Larissa A. Meinicke

Publication date 6 March 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-73210-5_23

zbMATH Keywords

reliabilityprobabilityreal-timerefinementaction systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• Publication:4939620
• Temporal logics for the specification of performance and reliability
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Analyzing real-time systems: Theory and tools
• scientific article; zbMATH DE number 1107563

Cited in

(3)

• Deductive verification of real-time systems using STeP
• Integrating stochastic reasoning into Event-B development
• scientific article; zbMATH DE number 1400096 (Why is no real title available?)

This page was built for publication: A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems

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