A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS / G. BUCCI; E. VICARIO; L. SASSOLI. - STAMPA. - (2003), pp. 134-143. (Intervento presentato al convegno 10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS tenutosi a URBANA, ILLINOIS).
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS
BUCCI, GIACOMO;VICARIO, ENRICO;
2003
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.