DocumentCode :
1961993
Title :
Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000
fYear :
2000
fDate :
27-29 March 2000
Abstract :
The following topics were dealt with: Markov modelling and applications; state space techniques; systems and protocols; networking; Petri nets, queueing modelling, and applications
Keywords :
Petri nets; formal specification; performance evaluation; protocols; Markov modelling; Petri nets; networking; performance modelling; protocols; queueing modelling; state space techniques;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Performance and Dependability Symposium, 2000. IPDS 2000. Proceedings. IEEE International
Conference_Location :
Chicago, IL, USA
ISSN :
1087-2191
Print_ISBN :
0-7695-0553-8
Type :
conf
DOI :
10.1109/IPDS.2000.839458
Filename :
839458
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1961993
بازگشت