scientific article; zbMATH DE number 1400096

zbMath0937.68087MaRDI QIDQ4939620

Elena Troubitsyna

Publication date: 6 February 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

probabilistic systemsdata refinement techniquesoverall system reliability

Mathematics Subject Classification ID

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

Related Items

Reactive Probabilistic Programs and Refinement Algebra ⋮ Integrating stochastic reasoning into Event-B development ⋮ Algebraic reasoning for probabilistic action systems and while-loops