A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC

AMORIM, L. ; BARRETO, R. S. ; MACIEL, P. R. M. ; TAVARES, E. A. G. ; OLIVEIRA JUNIOR, M. N. ; BESSA, A. ; LIMA, R. M. . A Methodology for Software Synthesis of Embedded Real-Time Systems Based On TPN and LSC. In: 2nd International Conference on Embedded Software and Systems, 2005, Xian, China. Lecture Notes in Computer Science, 2005. v. LNCS. p. 50-62.

2005