scientific article; zbMATH DE number 1400096

zbMATH Open0937.68087MaRDI QIDQ4939620FDOQ4939620

Authors: Elena Troubitsyna 

Publication date: 6 February 2000

Title of this publication is not available (Why is that?)

Recommendations

• Abstraction, Refinement and Proof for Probabilistic Systems
• A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
• Model checking of probabilistic and nondeterministic systems
• Temporal logics for the specification of performance and reliability
• scientific article; zbMATH DE number 2090704

zbMATH Keywords

probabilistic systemsdata refinement techniquesoverall system reliability

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (12)

• Reactive Probabilistic Programs and Refinement Algebra
• Flexible reliability assessment of digital circuits based on signal probability
• The profile inter‐unit reliability
• A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
• Formal assessment of reliability specifications in embedded cyber-physical systems
• Assessing the reliability of general-purpose inexact restoration methods
• Integrating stochastic reasoning into Event-B development
• Title not available (Why is that?)
• Reliability estimation from field return data
• Algebraic reasoning for probabilistic action systems and while-loops
• An analytical expression of reliability solution for Druker-Prager criterion
• Title not available (Why is that?)

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