Pao-Ann Hsiung. Formal synthesis and code generation of embedded real-time software. In Jan Madsen, Jörg Henkel, Xiaobo Sharon Hu, editors, Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001. pages 208-213, ACM, 2001. [doi]
@inproceedings{Hsiung01,
title = {Formal synthesis and code generation of embedded real-time software},
author = {Pao-Ann Hsiung},
year = {2001},
doi = {10.1145/371636.371729},
url = {http://doi.acm.org/10.1145/371636.371729},
tags = {embedded software, code generation},
researchr = {https://researchr.org/publication/Hsiung01},
cites = {0},
citedby = {0},
pages = {208-213},
booktitle = {Proceedings of the Ninth International Symposium on Hardware/Software Codesign, CODES 2001, Copenhagen, Denmark, 2001},
editor = {Jan Madsen and Jörg Henkel and Xiaobo Sharon Hu},
publisher = {ACM},
isbn = {1-58113-364-2},
}