Login / Signup
Model-based assurance evidence management for safety-critical systems.
Jose Luis de la Vara
Arturo S. García
Jorge Valero
Clara Ayora
Published in:
Softw. Syst. Model. (2022)
Keyphrases
</>
safety critical
management system
formal methods
safety analysis
fault tolerant
support systems
embedded systems
adaptive systems
reinforcement learning
intelligent systems
agent architecture
nuclear power plant
knowledge management
decision support
learning systems