SMT-Based Timing Analysis and Verification of Real-Time Task.

Hai-feng Xing Jiantao Zhou Xiaoyu Song Rui-dong Qi

Published in: COMPSAC (1) (2018)

Keyphrases

real time
low cost
artificial intelligence
artificial neural networks
general purpose
verification method
formal verification
face verification
data acquisition
model checking
vision system
co occurrence
expert systems
multiscale
similarity measure
decision trees
data mining
neural network