View in EDS HTML Full Text PDF Full Text

Probabilistic modelling and verification using RoboChart and PRISM.

Saved in:

Bibliographic Details
Title:	Probabilistic modelling and verification using RoboChart and PRISM.
Authors:	Ye, Kangfeng¹, Kangfeng.Ye@york.ac.uk, Cavalcanti, Ana¹, Foster, Simon¹, Miyazawa, Alvaro¹, Woodcock, Jim¹
Source:	Software & Systems Modeling; Apr2022, Vol. 21 Issue 2, p667-716, 50p
Database:	Applied Science & Technology Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	16191366
DOI:	10.1007/s10270-021-00916-8