C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SafeDX: Standalone Modules Providing Diverse Redundancy for Safety-Critical Applications.
Ramon Canal
Francisco Bas
Sergi Alcaide
Guillem Cabo
Pedro Benedicte
Francisco Fuentes
Feng Chang
Ilham Lasfar
Jaume Abella
Published in:
SAMOS (2022)
Keyphrases
</>
safety critical
safety analysis
embedded systems
fault tolerant
formal methods
nuclear power plant
agent architecture
support systems
control system
building blocks
adaptive systems
machine learning
information systems
decision makers
decision support
medical diagnosis