| Original language | English |
|---|---|
| Publication status | Published - 1994 |
Analysis and Design Synthesis for Hard Real-Time Safety Critical Systems.
M Nicholson, J A McDermid, A Burns
Research output: Working paper
M Nicholson, J A McDermid, A Burns
Research output: Working paper
| Original language | English |
|---|---|
| Publication status | Published - 1994 |