Analysis and Design Synthesis for Hard Real-Time Safety Critical Systems
M. Nicholson, J.A. McDermid and A. Burns
No Abstract Available
Download Not Available
BibTex Entry
@techreport{Nicholson1994,
abstract = {},
author = {M. Nicholson and J.A. McDermid and A. Burns},
institution = {Department of Computer Science, University of York},
number = {YCS-237},
title = {Analysis and Design Synthesis for Hard Real-Time Safety Critical Systems},
year = {1994}
}