Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs.

Khalil Esper, Stefan Wildermann, Jrgen Teich

Browse the full MEMOCODE paper archive.