High-Assurance Systems (Introduction to the Special Section).

Sourav Bhattacharya Akira K. Onoma Farokh B. Bastani

Published in: Commun. ACM (1997)

Keyphrases

high assurance
distributed systems
expert systems
software systems
complex systems
databases
neural network
operating system
real time
learning algorithm
website
multiscale
access control
retrieval systems
systems require