“Hardware Support to Non-intrusive Runtime Verification on Processor Technologies”
From Navigators
(Difference between revisions)
Ruf (Talk | contribs)
(Created page with "{{Publication |type=article |title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies |author=José Rufino, |Project=Project:NORTH, Project:COST Ac...")
Newer edit →
(Created page with "{{Publication |type=article |title=Hardware Support to Non-intrusive Runtime Verification on Processor Technologies |author=José Rufino, |Project=Project:NORTH, Project:COST Ac...")
Newer edit →
Revision as of 13:37, 6 June 2018
Ada User Journal, Jun. 2018.
Abstract: —
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.