Login / Signup

A layered approach to automated electrical safety analysis in automotive environments.

Chris J. PriceN. A. SnookeS. D. Lewis
Published in: Comput. Ind. (2006)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • fault model
  • control system
  • formal methods
  • fault tolerant
  • embedded systems
  • symbolic model checking
  • agent architecture