Skip to content

ASAP: reconciling asynchronous real-time operations and proofs of execution in simple embedded systems.

Adam Caulfield, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

VenueA*DAC
Year2022
ProceedingsDAC

Browse the full DAC paper archive.