|
[BH21]
Paolo Ballarini and András Horváth.
Formal analysis of production line systems by probabilistic model checking tools.
In Proc. 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'21).
2021.
[Presents a framework for performance analysis of production line systems using probabilistic model checking and PRISM.
]
|
|
Links:
[Google]
[Google Scholar]
|