UID:
almahu_9947920581702882
Format:
VIII, 470 p.
,
online resource.
ISBN:
9783540246114
Series Statement:
Lecture Notes in Computer Science, 2925
Note:
Modelling Stochastic Systems -- Probabilistic Automata: System Types, Parallel Composition and Comparison -- Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions -- An Overview of Probabilistic Process Algebras and Their Equivalences -- Model Checking of Stochastic Systems -- Verifying Qualitative Properties of Probabilistic Programs -- On Probabilistic Computation Tree Logic -- Model Checking for Probabilistic Timed Systems -- Representing Large State Spaces -- Serial Disk-Based Analysis of Large Stochastic Models -- Kronecker Based Matrix Representations for Large Markov Models -- Symbolic Representations and Analysis of Large Probabilistic Systems -- Probabilistic Methods in State Space Analysis -- Deductive Verification of Stochastic Systems -- Analysing Randomized Distributed Algorithms -- An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems -- The Verification of Probabilistic Lossy Channel Systems.
In:
Springer eBooks
Additional Edition:
Printed edition: ISBN 9783540222651
Language:
English
Subjects:
Computer Science
Keywords:
Konferenzschrift
URL:
http://dx.doi.org/10.1007/b98484
URL:
Volltext
(lizenzpflichtig)
