Qualitative Probabilistic Modelling in Event-B

DOI10.1007/978-3-540-73210-5_16zbMath1213.68205OpenAlexW1544057077MaRDI QIDQ3608889

Thai Son Hoang, Stefan Hallerstede

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_16

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Integrating stochastic reasoning into Event-B development ⋮ On the Purpose of Event-B Proof Obligations ⋮ On the purpose of Event-B proof obligations

This page was built for publication: Qualitative Probabilistic Modelling in Event-B