• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Evolving car designs using model-based automated safety analysis and optimisation techniques.

Yiannis PapadopoulosChristian Grante
Published in: J. Syst. Softw. (2005)
Keyphrases
  • safety analysis
  • nuclear power plant
  • control system
  • safety critical
  • fault model
  • symbolic model checking
  • real time
  • state space
  • fault tolerant