Rapid-prototyping of high-assurance systems.

Richard Auletta Cherrice Traver

Published in: Great Lakes Symposium on VLSI (1993)

Keyphrases

rapid prototyping
high assurance
expert systems
management system
distributed systems
fault tolerant
case study
access control
software systems
manufacturing processes