Automatic Compositional Verification of Timed Systems.

Shang-Wei Lin Yang Liu Jun Sun Jin Song Dong Étienne André

Published in: FM (2012)

Keyphrases

management system
neural network
real time
computer vision
distributed systems
databases
data mining
similarity measure
expert systems
software development
markov chain
building blocks
petri net
semi automatic
real time systems
asynchronous circuits