04531nam 22008535 450 99646572340331620200629201918.01-280-30787-097866103078763-540-24611-810.1007/b98484(CKB)1000000000212450(SSID)ssj0000266491(PQKBManifestationID)11254379(PQKBTitleCode)TC0000266491(PQKBWorkID)10305564(PQKB)10913451(DE-He213)978-3-540-24611-4(MiAaPQ)EBC3087985(PPN)114036101(EXLCZ)99100000000021245020121227d2004 u| 0engurnn|008mamaatxtccrValidation of Stochastic Systems[electronic resource] A Guide to Current Research /edited by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle1st ed. 2004.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2004.1 online resource (VIII, 470 p.) Lecture Notes in Computer Science,0302-9743 ;2925Bibliographic Level Mode of Issuance: Monograph3-540-22265-0 Includes bibliographical references at the end of each chapters and index.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.Lecture Notes in Computer Science,0302-9743 ;2925ProbabilitiesComputersComputer logicSoftware engineeringOperating systems (Computers)MicroprocessorsProbability Theory and Stochastic Processeshttps://scigraph.springernature.com/ontologies/product-market-codes/M27004Computation by Abstract Deviceshttps://scigraph.springernature.com/ontologies/product-market-codes/I16013Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Processor Architectureshttps://scigraph.springernature.com/ontologies/product-market-codes/I13014Probabilities.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.003/.76Baier Christeledthttp://id.loc.gov/vocabulary/relators/edtHaverkort Boudewijn Redthttp://id.loc.gov/vocabulary/relators/edtHermanns Holgeredthttp://id.loc.gov/vocabulary/relators/edtKatoen Joost-Pieteredthttp://id.loc.gov/vocabulary/relators/edtSiegle Markusedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465723403316Validation of Stochastic Systems2092073UNISA