Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Process algebra and probabilistic methods performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: PAPM PROBMIV (BerichterstatterIn)
Weitere Verfasser: Hermanns, Holger (BerichterstatterIn), Segala, Roberto (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2002
Schriftenreihe:Lecture notes in computer science 2399
Schlagworte:
Machine theory > Parallel processing (Electronic computers) > Stochastischer Prozess > Stochastisches System > Prozessalgebra > Verifikation > Leistungsbewertung > Model Checking > Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:X, 214 S.
graph. Darst.
ISBN:3540439137
3-540-43913-7