PEARTS: Provable Execution in Real-Time Embedded Systems.

Antonio Joia Neto, Norrathep Rattanavipanon, Ivan De Oliveira Nunes

Browse the full SP paper archive.