TY  - JOUR

T1  - Analysing high-integrity systems

JO  - Computing & Control Engineering Journal

PY  - -0001/11/30

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  - 2024/12/22

ER  -