AMC: verifying user interface properties for vehicular applications.

Kyungmin Lee Jason Flinn Thomas J. Giuli Brian Noble Christopher Peplin

Published in: MobiSys (2013)

Keyphrases

user interface
traffic flow
human computer interaction
topological properties
database
data sets
hidden markov models
end users
model checking
design principles
application development
data dissemination