A probabilistic extension of UML-B
From MaRDI portal
Publication:6487689
DOI10.31577/cai_2019_1_85zbMath1518.68213MaRDI QIDQ6487689
Mohammad Nosrati, Hassan Haghighi
Publication date: 16 February 2023
Published in: Computing and Informatics (Search for Journal in Brave)
Event-BMDPprobabilistic systemsinterval probabilitiesstochastic delayPRISMprobabilistic model verificationUML-B
Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
This page was built for publication: A probabilistic extension of UML-B
