CheAPS: a Checker of Asynchronous Parameterized Systems.

Published in: WING@ETAPS/IJCAR (2010)

Keyphrases

machine learning
computer vision
decision making
expert systems
computer systems
learning systems
real time
website
decision trees
database systems
management system
asynchronous communication