INVESTIGADORES
BRABERMAN Victor Adrian
congresos y reuniones científicas
Título:
On Integrating Scheduling Theory into Formal Models for Hard Real Time Systems
Autor/es:
VICTOR A. BRABERMAN
Lugar:
Como, Italia
Reunión:
Workshop; WorkShop Formal Methods for the Design of Real-Time Systems; 1997
