The Challenge of Probabilistic Event B—Extended Abstract—

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_10 ◽

2005 ◽

pp. 162-171 ◽

Cited By ~ 11

Author(s):

Carroll Morgan ◽

Thai Son Hoang ◽

Jean-Raymond Abrial

Download Full-text