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.


Status Finished
UoY People on Project John McDermid, Mark Nicholson
Funded By EPSRC
Start Date 01-06-1994
End Date 30-09-1997
Return to Projects