Login / Signup

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

Adam CaulfieldNorrathep RattanavipanonIvan De Oliveira Nunes
Published in: DAC (2022)
Keyphrases