A Time Petri Net-Based Approach for Software Synthesis Considering Overheads.

Raimundo S. Barreto, Eduardo Tavares, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Leonardo Amorim, Ricardo Massa Ferreira Lima, Cesar Carvalho, Carlos A. B. Mello

Browse the full SBAC-PAD paper archive.