1
Assuntos:
“...Hard real-time systems...”
Software Synthesis for Energy-Constrained Hard Real-Time Embedded Systems
Tese
2
Assuntos:
“...Hard real-time...”
Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints
Tese
3
Assuntos:
“...Hard real time...”
Metodologia de análise de sistemas de proteção com controle distribuído através da ferramenta de modelagem e verificação formal estatística
Dissertação