“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”

From Navigators

Revision as of 13:37, 6 June 2018 by Ruf (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

José Rufino

Ada User Journal, Jun. 2018.


Export citation


Project(s): Project:NORTH, Project:COST Action IC1402

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.

Personal tools
Navigators toolbox