Software Synthesis for Hard Real-Time Embedded Systems with Energy Constraints.

Eduardo Tavares, Bruno Silva, Paulo Romero Martins Maciel, Pedro Dallegrave

Browse the full SBAC-PAD paper archive.