| Original language | English |
|---|---|
| Title of host publication | Safety Aspects of Computer Control |
| Place of Publication | Oxford |
| Publisher | Butterworth Heinemann |
| Pages | 96-153 |
| Number of pages | 58 |
| Publication status | Published - 1993 |
Formal Methods: Use and Relevance for the Development of Safety Critical Systems
J A McDermid, P A Bennett (Editor)
Research output: Chapter in Book/Report/Conference proceeding › Chapter