UID:
almahu_9948621689802882
Format:
VIII, 470 p.
,
online resource.
Edition:
1st ed. 2004.
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 Nature eBook
Additional Edition:
Printed edition: ISBN 9783540222651
Additional Edition:
Printed edition: ISBN 9783662167427
Language:
English
URL:
https://doi.org/10.1007/b98484
