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