Login / Signup
Verifying Real-Time Systems using Explicit-time Description Methods
Hao Wang
Wendy MacCaull
Published in:
QFM (2009)
Keyphrases
</>
real time systems
preprocessing
simulated annealing