Login / Signup

Verifying Real-Time Systems using Explicit-time Description Methods

Hao WangWendy MacCaull
Published in: QFM (2009)
Keyphrases
  • real time systems
  • preprocessing
  • simulated annealing