Sign in
Increasing reliability of safety critical applications through functional based solutions.
Ernesto Sánchez
Published in:
DTIS (2018)
Keyphrases
</>
safety critical
formal methods
fault tolerant
embedded systems
safety analysis
decision making
agent architecture
nuclear power plant
real time
databases
machine learning
open source