Login / Signup
Integration of Safety Verification with Conformance Testing in Real-Time Reactive System.
Haiying Sun
Jing Liu
Dehui Du
Published in:
APSEC (2012)
Keyphrases
</>
real time
activity monitoring
low cost
real time systems
database
event driven
formal methods
test generation
model checking
face verification
data sets
data fusion
vision system
control system
safety critical
asynchronous circuits
intelligent vehicles
verification method
databases