| Original language | English |
|---|---|
| Publication status | Published - 1998 |
Experience with the Application of Discrete Formal Methods to the Development of Engine Controllers
A J Galloway, T J Cockram, J A McDermid
Research output: Contribution to conference › Paper › peer-review