IEEE Real-Time Systems Symposium, RTSS 2017


Article Details
Title: Abstract PRET Machines
Article URLs:
Alternative Article URLs:
Authors: Edward A. Lee
  • UC Berkeley
Jan Reineke
  • Saarland University, Saarland Informatics Campus
Michael Zimmer
  • Swarm64 AS
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1446619
DBLP Key: conf/rtss/LeeRZ17
Author Comments:

Discuss this paper and its artifacts below