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