Login / Signup
Efficient verification of real-time systems: compact data structure and state-space reduction.
Kim Guldstrand Larsen
Fredrik Larsson
Paul Pettersson
Wang Yi
Published in:
RTSS (1997)
Keyphrases
</>
real time systems
space reduction
embedded systems
real time
distributed systems
state space
open source
real time database systems
real world
web services
high level
principal component analysis
real time embedded