Analysis of Companies Gaps in the Application of Standards for Safety-Critical Software.

Andrea Ceccarelli Nuno Silva

Published in: SAFECOMP Workshops (2015)

Keyphrases

safety critical
safety analysis
formal methods
knowledge based systems
embedded systems
agent architecture
artificial intelligence
knowledge base
case study
multi agent
control system
management system
decision support
medical data