| Original language | English |
|---|---|
| Publication status | Published - 2004 |
Practical Formal Specification for Embedded Control Systems
F Iwu, A J Galloway, I Toyn, J A McDermid
Research output: Contribution to conference › Paper › peer-review
F Iwu, A J Galloway, I Toyn, J A McDermid
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 2004 |