TY  - JOUR

T1  - Analysing high-integrity systems

JO  - Computing & Control Engineering Journal

UR  - https://doi.org/10.1049/cce:19940103

PY  - 1994/02/01

AU  - Clark JA

AU  - McDermid JA

AU  - Burns A

ED  - 

DO  - DOI: 10.1049/cce:19940103

PB  - Institution of Engineering and Technology (IET)

VL  - 5

IS  - 1

SP  - 18

EP  - 23

Y2  - 2025/12/20

ER  -