A probabilistic extension of UML-B

DOI10.31577/CAI_2019_1_85MaRDI QIDQ6487689zbMATH OpenFDO

Authors Mohammad Nosrati, Hassan Haghighi

Publication date 16 February 2023

Published in Computing and Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.31577/CAI_2019_1_85

zbMATH Keywords

Event-Binterval probabilitiesMDPPRISMprobabilistic model verificationprobabilistic systemsstochastic delayUML-B

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• A probabilistic extension of UML statecharts specification and verification
• Qualitative Probabilistic Modelling in Event-B
• scientific article; zbMATH DE number 2087806
• scientific article; zbMATH DE number 2013586
• scientific article; zbMATH DE number 2013585

Cited in

(3)

• Qualitative Probabilistic Modelling in Event-B
• scientific article; zbMATH DE number 2013586 (Why is no real title available?)
• A probabilistic extension of UML statecharts specification and verification

This page was built for publication: A probabilistic extension of UML-B

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487689)