Leonardo Amorim, Raimundo S. Barreto, Paulo Romero Martins Maciel, Eduardo Tavares, Meuse N. Oliveira Jr., Arthur Bessa, Ricardo Massa Ferreira Lima. A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC. In Laurence Tianruo Yang, Xingshe Zhou, Wei Zhao, Zhaohui Wu, Yian Zhu, Man Lin, editors, Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings. Volume 3820 of Lecture Notes in Computer Science, pages 50-62, Springer, 2005. [doi]
@inproceedings{AmorimBMTOBL05,
title = {A Methodology for Software Synthesis of Embedded Real-Time Systems Based on TPN and LSC},
author = {Leonardo Amorim and Raimundo S. Barreto and Paulo Romero Martins Maciel and Eduardo Tavares and Meuse N. Oliveira Jr. and Arthur Bessa and Ricardo Massa Ferreira Lima},
year = {2005},
doi = {10.1007/11599555_8},
url = {http://dx.doi.org/10.1007/11599555_8},
tags = {rule-based, embedded software},
researchr = {https://researchr.org/publication/AmorimBMTOBL05},
cites = {0},
citedby = {0},
pages = {50-62},
booktitle = {Embedded Software and Systems, Second International Conference, ICESS 2005, Xi an, China, December 16-18, 2005, Proceedings},
editor = {Laurence Tianruo Yang and Xingshe Zhou and Wei Zhao and Zhaohui Wu and Yian Zhu and Man Lin},
volume = {3820},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30881-4},
}