The Formal Development of Real-Time Systems: A Review
D.J. Scholefield and H.S.M. Zedan
No Abstract Available
Download Not Available
BibTex Entry
@techreport{Scholefield1990,
abstract = {},
author = {D.J. Scholefield and H.S.M. Zedan},
institution = {Department of Computer Science, University of York},
number = {YCS-145},
title = {The Formal Development of Real-Time Systems: A Review},
year = {1990}
}