Original language | English |
---|---|
Publication status | Published - 1990 |
The Analysis of Safety Arguments in the Specification of a Motor Speed Control Loop
S J Clarke, A Coombes, J A McDermid
Research output: Working paper
S J Clarke, A Coombes, J A McDermid
Research output: Working paper
Original language | English |
---|---|
Publication status | Published - 1990 |