Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Validation of Stochastic Systems : A Guide to Current Research / / edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Edizione: | 1st ed. 2004. |
| Descrizione fisica: | 1 online resource (VIII, 470 p.) |
| Disciplina: | 003/.76 |
| Soggetto topico: | 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 | |
| Persona (resp. second.): | BaierChristel |
| HaverkortBoudewijn R | |
| HermannsHolger | |
| KatoenJoost-Pieter | |
| SiegleMarkus | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references at the end of each chapters and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Validation of Stochastic Systems |
| ISBN: | 1-280-30787-0 |
| 9786610307876 | |
| 3-540-24611-8 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910767527203321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 0302-9743 ; ; 2925