Sign in

Systematic Analysis of Control Panel Interfaces Using Formal Tools.

José Creissac CamposMichael 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