Login / Signup
Simulation and verification II: event-triggered environments for verification of real-time systems.
Darren D. Cofer
Murali Rangarajan
Published in:
WSC (2003)
Keyphrases
</>
real time systems
model checking
distributed systems
embedded systems
signature verification
artificial neural networks
anytime algorithms
architectural model