A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems

BARRETO, R. S.; OLIVEIRA JUNIOR, M. N. ; NEVES, M. L. ; TAVARES, E. A. G. ; MACIEL, P. R. M. ; LIMA, R. M. . A Formal Software Synthesis Approach for Embedded Hard Real-Time Systems. In: 17th Brazilian Symposium on Integrated Circuits and Systems Design (SBCCI'2004), 2004, Porto de Galinhas. Brazilian Symposium on Integrated Circuits and Systems Design, 2004. p. 163-168.

2004