Toward integrated methods for high-assurance systems

• 1 April 1998
• journal article
• Published by Institute of Electrical and Electronics Engineers (IEEE) in Computer
• Vol. 31  (4) , 32-34
• https://doi.org/10.1109/2.666840

Abstract

Keywords

• AUTOMATE AND CONTROL MOST SYSTEMS
• CHAOS
• HIGH ASSURANCE SYSTEMS
• COMPUTING TECHNOLOGY
• LIFE
• CATASTROPHIC LOSS