Non-intrusive runtime verification within a system-on-chip

José Rufino, António Casimiro, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma

Fingerprint

Dive into the research topics of 'Non-intrusive runtime verification within a system-on-chip'. Together they form a unique fingerprint.

Engineering & Materials Science