S J Clarke, A Coombes, J A McDermid
Research output: Working paper
}
TY - UNPB
T1 - The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop
AU - Clarke, S J
AU - Coombes, A
AU - McDermid, J A
PY - 1990
Y1 - 1990
M3 - Working paper
BT - The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop
ER -