Computer Science
PhD / DPhil
| Status | Complete |
|---|---|
| Part Time | Yes |
| Years | 1996 - 2000 |
| Project Title | Safety Monitoring using Safety Cases |
| Project Description | This work was funded by EU Projects TTA and SETTA. The PhD led to various innovation including the HiP-HOPS tools which has since become commercial |
| Awarding Institution | University of York |