Login / Signup

Ensuring correct self-reconfiguration in safety-critical applications by verified result checking.

Peter FischerFlorian NafzHella SeebachWolfgang Reif
Published in: OC@ICAC (2011)
Keyphrases
  • safety critical
  • fault tolerant
  • safety analysis
  • monitoring system
  • formal methods
  • nuclear power plant
  • artificial intelligence
  • embedded systems