Login / Signup
Symbolic Schedulability Analysis of Real-Time Systems.
Hee-Hwan Kwak
Insup Lee
Anna Philippou
Jin-Young Choi
Oleg Sokolsky
Published in:
RTSS (1998)
Keyphrases
</>
real time systems
cooperative
response time
high level
open source
petri net
heuristic search
embedded systems