1 option
Validation of Stochastic Systems : A Guide to Current Research / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2925.
- Lecture Notes in Computer Science, 0302-9743 ; 2925
- Language:
- English
- Subjects (All):
- Probabilities.
- Computers.
- Computer logic.
- Software engineering.
- Operating systems (Computers).
- Microprocessors.
- Probability Theory and Stochastic Processes.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Software Engineering.
- Operating Systems.
- Processor Architectures.
- Local Subjects:
- Probability Theory and Stochastic Processes.
- Computation by Abstract Devices.
- Logics and Meanings of Programs.
- Software Engineering.
- Operating Systems.
- Processor Architectures.
- Physical Description:
- 1 online resource (VIII, 470 pages).
- Edition:
- First edition 2004.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-24611-4
- 9783540246114
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.