|
[PMT19]
Lorenzo Pagliari, Raffaela Mirandola and Catia Trubiani.
Engineering cyber-physical systems through performance-based modelling and analysis: A case study experience report.
Journal of Software: Evolution and Process, 32(1).
2019.
[Presents a model-based analysis of a delivery robots system, including the use of probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|