| 紀錄類型: |
書目-電子資源
: Monograph/item
|
| 正題名/作者: |
Validation of stochastic systems/ Christel Baier ... [et al.] (eds.). |
| 其他題名: |
a guide to current research / |
| 出版者: |
Berlin ;Springer, : 2004., |
| 面頁冊數: |
viii, 465 p. :fig., tab. ;24 cm. |
| 內容註: |
Probabilistic automata : system types, parallel composition and comparison / Ana Sokolova, Erik P. de Vink -- Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions/ Mario Bravetti, Pedro R. D'Argenio -- An overview of probabilistic process algebras and their equivalences / Natalia L漃pez, Manuel N漉鄚ez -- Verifying qualitative properties of probabilistic programs/ Benedikt Bollig, Martin Leucker -- On probabilistic computation tree logic / Frank Ciesinski, Marcus Gr鋌sser -- Model checking for probabilistic timed systems / Jeremy Sproston -- Serial disk-based analysis of large stochastic models/ Rashid Mehmood -- Kronecker based matrix representations for large Markov models / Peter Buchholz, Peter Kemper -- Symbolic representations and analysis of large probabilistic systems/ Andrew Miner, David Parker -- Probabilistic methods in state space analysis / Matthias Kuntz, Kai Lampka -- Analysing randomized distributed algorithms / Gethin Norman -- An abstraction framework for mixed non-deterministic and probabilistic systems/ Michael Huth -- The verification of probabilistic lossy channel systems / Philippe Schnoebelen. |
| 標題: |
Stochastic analysis. - |
| 電子資源: |
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=128413An electronic book accessible through the World Wide Web; click for information |
| ISBN: |
3540246118 (electronic bk.) |