DESSERTS
DEsign Synthesis for Safety Engineered Real-Time Systems
Start and End dates are unconfirmed due to lack of information. Very limited information on who was a part of this project or the overall description of this project.
No Description Available.
Details
| Status | Finished |
| UoY People on Project | John McDermid, Mark Nicholson |
|---|---|
| Funded By | EPSRC |
| Start Date | 01-06-1994 |
| End Date | 30-09-1997 |