Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)

Applying engineering of computer-based systems (ECBS) and product line center (PLC) approaches to the development of mission critical systems for the Department of Defense (DoD)

Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618569 Roymond S. C. Shanahan

Investigating rare-event failure tolerance: reductions in future uncertainty

Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618568 J. Voas, F. Charron, K. Miller

Mk48 ADCAP torpedo high-assurance testing

Pub Date : 1996-10-22 DOI: 10.1109/HASE.1996.618555 D. MacPherson