An Approach to Support Variant Management on Safety Analysis using CHESS Error Models.

Lucas Bressan André Luíz de Oliveira Fernanda Campos

Published in: EDCC (2020)

Keyphrases

management system
decision support
safety analysis
decision making
real time
information systems
knowledge acquisition
learning systems
symbolic model checking