Login / Signup

On Complexity Reduction of User Interfaces for Safety-Critical Systems.

Andreas HolzingerEvgenia PopovaBernhard PeischlMartina Ziefle
Published in: CD-ARES (2012)
Keyphrases
  • safety critical
  • formal methods
  • complexity reduction
  • embedded systems
  • safety analysis
  • fault tolerant
  • user interface
  • distributed systems
  • support systems
  • expert systems
  • decision support system
  • image compression