|
[EWT22]
Khalil Esper, Stefan Wildermann and Jürgen Teich.
Multi-Requirement Enforcement of Non-Functional Properties on MPSoCs Using Enforcement FSMs - A Case Study.
In Proc. 3rd Workshop on Next Generation Real-Time Embedded Systems (NG-RES@HiPEAC).
2022.
[Tackles embedded system control problems using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|