Event order abstraction for parametric real-time system verification.

Published in: EMSOFT (2008)

Keyphrases

real time
neural network
case study
high level
multiscale
low cost
data sets
artificial intelligence
image sequences
high speed
distributed systems
event detection
event driven
events occur