Login / Signup
Using Program Transformations to Provide Safety Properties for Real-Time Systems.
Grace Tsai
Shuhua Wang
Published in:
Real Time Syst. (2004)
Keyphrases
</>
real time systems
mission critical
real time