|
[BMOB21]
Abdelhakim Baouya, Otmane Ait Mohamed, Samir Ouchani and Djamal Bennouar.
Reliability-driven Automotive Software Deployment based on a Parametrizable Probabilistic Model Checking.
Expert Systems with Applications.
2021.
[Presents techniques for analysing embedded systems specified in SysML via a translation to PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|