|
[MCA24]
Roberto Metere, Ricardo Melo Czekster and Luca Arnaboldi.
Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems.
In Proc. 13th Mediterranean Conference on Embedded Computing (MECO'24).
2024.
[Proposes an extension of the PRISM language for modelling cyber-physical systems.]
|
|
Links:
[Google]
[Google Scholar]
|