Sign in

Verifying of interface assertions for infinite state Mealy machines.

Manfred Broy
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