Login / Signup

Safety Analysis of Requirements for a Product Family.

Robyn R. LutzGuy G. HelmerMichelle M. MosemanDavid E. StatezniStephen R. Tockey
Published in: ICRE (1998)
Keyphrases
  • safety analysis
  • safety critical
  • nuclear power plant
  • symbolic model checking
  • control system
  • fault model
  • artificial intelligence
  • neural network
  • cooperative
  • orders of magnitude
  • model checking