Login / Signup

Simulation and verification II: event-triggered environments for verification of real-time systems.

Darren D. CoferMurali Rangarajan
Published in: WSC (2003)
Keyphrases
  • real time systems
  • model checking
  • distributed systems
  • embedded systems
  • signature verification
  • artificial neural networks
  • anytime algorithms
  • architectural model