Validation of stochastic systems : a guide to current research
Сохранить в:
| Главный автор: | |
|---|---|
| Другие авторы: | , |
| Формат: | Livre numérique |
| Язык: | Anglais |
| Опубликовано: |
Berlin [etc.] :
Springer
2004.
Cham : Springer Nature |
| Серии: | Lecture notes in computer science
2925 |
| Предметы: | |
| Online-ссылка: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Примечание: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Validation of stochastic systems, a guide to current research, Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (VIII-465 p.), Lecture notes in computer science, 3-540-22265-0 • Validation of Stochastic Systems, Texte imprimé, 9783662167427 |
Оглавление:
- 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.