Systematic Analysis of Control Panel Interfaces Using Formal Tools.

José Creissac Campos Michael D. Harrison

Published in: DSV-IS (2008)

Keyphrases

control system
control method
artificial intelligence
quantitative analysis
real world
data mining
decision support
software tools
formal methods
analysis tool