Related publications
PhD Thesis
R. Barreto. A Time Petri Net-Based Methodology for Embedded Hard Real-Time Software Synthesis. PhD Thesis. Cin/UFPE, Abril de 2005. Orientador: Prof. Paulo Romero Martins Maciel.
R. Barreto. A Time Petri Net-Based Methodology for Embedded Hard Real-Time Software Synthesis. PhD Thesis. Cin/UFPE, Abril de 2005. Orientador: Prof. Paulo Romero Martins Maciel.
