“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”
Revision as of 13:37, 6 June 2018 by Ruf
Ada User Journal, Jun. 2018.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.