Login / Signup
Ensuring code safety without runtime checks for real-time control systems.
Sumant Kowshik
Dinakar Dhurjati
Vikram S. Adve
Published in:
CASES (2002)
Keyphrases
</>
control system
real time
safety analysis
real time systems
source code
low cost
safety critical
texas instruments
high level
multi agent
control strategy
real environment
air traffic