Software Production Process for Safety Critical Software.

Norman F. Schneidewind

Published in: J. Aerosp. Comput. Inf. Commun. (2008)

Keyphrases

safety critical
production process
software development
formal methods
software systems
safety analysis
embedded systems
production system
machine learning
artificial intelligence
real time
databases
data mining
user interface
fault tolerant