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

2003
10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS
URBANA, ILLINOIS
G. BUCCI; E. VICARIO; L. SASSOLI
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.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1617
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact