| Original language | English |
|---|---|
| Publication status | Published - 1994 |
Policies for Safety Critical Systems: the Challenge of Formalisation
J D Moffett, J A McDermid
Research output: Contribution to conference › Paper › peer-review
J D Moffett, J A McDermid
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 1994 |