Automated Refinement Checking for Asynchronous Processes.

Rajeev Alur Radu Grosu Bow-Yaw Wang

Published in: FMCAD (2000)

Keyphrases

fully automated
semi automated
process model
neural network
computer vision
computational model
real world
data mining
artificial intelligence
multiscale
data structure
video sequences
automated analysis
asynchronous communication
state machines