Jack Goldberg. Formal Methods for Fault-Tolerant, Real-Time System Design. In Wolfgang A. Halang, Alexander D. Stoyenko, editors, Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992. Volume 127 of NATO ASI Series, pages 625, Springer, 1992. [doi]
@inproceedings{Goldberg92-1,
title = {Formal Methods for Fault-Tolerant, Real-Time System Design},
author = {Jack Goldberg},
year = {1992},
doi = {10.1007/978-3-642-88049-0_74},
url = {https://doi.org/10.1007/978-3-642-88049-0_74},
researchr = {https://researchr.org/publication/Goldberg92-1},
cites = {0},
citedby = {0},
pages = {625},
booktitle = {Real Time Computing, Proceedings of the NATO Advanced Study Institute on Real Time Computing, held in Sint Maarten, Dutch Antilles, October 5-17, 1992},
editor = {Wolfgang A. Halang and Alexander D. Stoyenko},
volume = {127},
series = {NATO ASI Series},
publisher = {Springer},
isbn = {978-3-642-88049-0},
}