Session II-A: Verification and Validation/High-Assurance Systems Acceptance-Based Assurance.

Colin O'Halloran

Published in: ASE (2001)

Keyphrases

high assurance
operating system
distributed systems
software systems
fault tolerant
access control
real time
cooperative
management system
intelligent systems
complex systems
retrieval systems
data sets
computer systems
learning systems
formal methods