A Safety Case Pattern for Model-Based Development Approach.

Anaheed Ayoub BaekGyu Kim Insup Lee Oleg Sokolsky

Published in: NASA Formal Methods (2012)

Keyphrases

case study
database
neural network
information processing
rapid development
st century
pattern matching
safety critical