System Requirements and Analysis Issues for High Assurance Systems.

Gary Johnson John Calvert Kelly J. Hayhurst John Janeri Herbert Hecht

Published in: HASE (1998)

Keyphrases

high assurance
distributed systems
machine learning
expert systems
statistical analysis
building blocks
fault tolerant
real world
software engineering
open source
design choices