J. V. Phillips, Thomas H. Bredt. Design and Verification of Real-Time Systems. In ICSE. pages 124-131, 1976.
@inproceedings{PhillipsB76,
title = {Design and Verification of Real-Time Systems},
author = {J. V. Phillips and Thomas H. Bredt},
year = {1976},
tags = {design},
researchr = {https://researchr.org/publication/PhillipsB76},
cites = {0},
citedby = {0},
pages = {124-131},
booktitle = {ICSE},
}