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
Return to Projects