Verifying of interface assertions for infinite state Mealy machines.

Published in: J. Comput. Syst. Sci. (2014)

Keyphrases

user interface
user friendly
special case
flowshop
graphical interface
visual interface
real time
neural network
machine learning
knowledge base
communication protocol