scientific article; zbMATH DE number 1400096
From MaRDI portal
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
Cited in
(12)- Assessing the reliability of general-purpose inexact restoration methods
- scientific article; zbMATH DE number 1262772 (Why is no real title available?)
- Reliability estimation from field return data
- Integrating stochastic reasoning into Event-B development
- scientific article; zbMATH DE number 4205688 (Why is no real title available?)
- The profile inter‐unit reliability
- An analytical expression of reliability solution for Druker-Prager criterion
- Flexible reliability assessment of digital circuits based on signal probability
- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems
- Reactive Probabilistic Programs and Refinement Algebra
- Algebraic reasoning for probabilistic action systems and while-loops
- Formal assessment of reliability specifications in embedded cyber-physical systems
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)
