|
[EWT21]
Khalil Esper, Stefan Wildermann and Jürgen Teich.
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.
In Proc. 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21).
2021.
[Tackles embedded system control problems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|