Improving Safety-Critical Systems by Visual Analysis.

Yi Yang Patric Keller Yarden Livnat Peter Liggesmeyer

Published in: VLUDS (2011)

Keyphrases

safety critical
visual analysis
fault tolerant
safety analysis
embedded systems
formal methods
agent architecture
support systems
intelligent systems
real time
information retrieval
user interface
management system
software development
information visualization
adaptive systems