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

Original languageEnglish
Publication statusPublished - 1990

Cite this