A probabilistic logic for the development of safety-critical, interactive systems

• 31 August 1993
• journal article
• Published by Elsevier in International Journal of Man-Machine Studies
• Vol. 39  (2) , 333-351
• https://doi.org/10.1006/imms.1993.1064

Abstract

Keywords

• SAFETY CRITICAL
• PROBABILISTIC LOGIC
• INTERACTIVE SYSTEMS
• DEVELOPMENT OF SAFETY