Revisiting modal interface automata.

Ivo Krka Nenad Medvidovic

Published in: FormSERA@ICSE (2012)

Keyphrases

cellular automata
regular expressions
computer interface
user interface
modal logic
data structure
neural network
finite automata
finite state
real time
user friendly
open source
computer vision
graphical interface
social networks
probabilistic automata
friendly interface