Login / Signup
Timing Constraints Validation using UPPAAL: Schedulability Analysis.
H. Sun
Published in:
DIPES (2000)
Keyphrases
</>
databases
database systems
nearest neighbor
fine grained
model checking
real time databases