Hardware-Based Runtime Verification with Embedded Tracing Units and Stream Processing.

Lukas ConventSebastian HungereckerTorben ScheffelMalte SchmitzDaniel ThomaAlexander Weiss
Published in: RV (2018)
Keyphrases