DocumentCode :
2069179
Title :
A discrete time model for performance evaluation and correctness verification of real time systems
Author :
Bucci, G. ; Sassoli, L. ; Vicario, E.
Author_Institution :
Universita di Firenze
fYear :
2003
fDate :
2-5 Sept 2003
Firstpage :
134
Lastpage :
143
Keywords :
Concurrent computing; Delay effects; Electronic mail; Exponential distribution; Performance analysis; Petri nets; Real time systems; State-space methods; Stochastic processes; Timing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Petri Nets and Performance Models, 2003. Proceedings. 10th International Workshop on
ISSN :
1063-6714
Print_ISBN :
0-7695-1976-8
Type :
conf
DOI :
10.1109/PNPM.2003.1231550
Filename :
1231550
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2069179
بازگشت