Developing High Assurance Systems: On the Role of Software Tools.

Constance L. Heitmeyer

Published in: SAFECOMP (2003)

Keyphrases

software tools
high assurance
distributed systems
learning systems
complex systems
artificial intelligence
fault tolerant
real time
data sets
neural network
data mining
social networks
decision making
cooperative
intelligent systems