Login / Signup
STADIUM: a new tool for high assurance in systems design.
Rufus H. Cofer
T. J. Sanders
Published in:
ICECCS (1995)
Keyphrases
</>
high assurance
distributed systems
knowledge based systems
access control
software systems
fault tolerant
operating system
design process
building blocks
design criteria
information systems
artificial intelligence
neural network
operating environment
embedded systems
design requirements
design principles
real world
mechanical systems
interactive systems
design space
design methodology
user interface
complex systems
case study