skip to content
Validations of Stochastic Systems: A Guide to Current Research. Preview this item
ClosePreview this item
Checking...

Validations of Stochastic Systems: A Guide to Current Research.

Author: Christel Baier; Boudewijn R Haverkort; Holger Hermanns
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series: Lecture notes in computer science, 2925.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are organized in topical  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Validations of stochastic systems
(NL-LeOCL)265353998
(OCoLC)56333914
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Christel Baier; Boudewijn R Haverkort; Holger Hermanns
ISBN: 3540222650 9783540222651 3540246118 9783540246114
OCLC Number: 990384620
Language Note: English.
Notes: Bibliographic Level Mode of Issuance: Monograph.
Description: 1 online resource (VIII, 470 pages).
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.
Series Title: Lecture notes in computer science, 2925.

Abstract:

This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/990384620> # Validations of Stochastic Systems: A Guide to Current Research.
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "990384620" ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/operating_systems_computers> ; # Operating systems (Computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/computers> ; # Computers
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/probabilities> ; # Probabilities
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/software_engineering> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/stochastic_systems> ; # Stochastic systems
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/mathematics> ; # Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/stochastic_processes> ; # Stochastic processes
   schema:about <http://dewey.info/class/519.2/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/computer_logic> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/stochastic_analysis> ; # Stochastic analysis
   schema:about <http://experiment.worldcat.org/entity/work/data/899373309#Topic/microprocessors> ; # Microprocessors
   schema:author <http://experiment.worldcat.org/entity/work/data/899373309#Person/baier_christel> ; # Christel Baier
   schema:bookFormat schema:EBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899373309#Person/haverkort_boudewijn_r> ; # Boudewijn R Haverkort
   schema:contributor <http://experiment.worldcat.org/entity/work/data/899373309#Person/hermanns_holger> ; # Holger Hermanns
   schema:datePublished "2004" ;
   schema:description "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."@en ;
   schema:description "This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area. The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/899373309> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/56333914> ;
   schema:name "Validations of Stochastic Systems: A Guide to Current Research."@en ;
   schema:productID "990384620" ;
   schema:url <http://dx.doi.org/10.1007/b98484> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=128413&ReturnLabel=lnkInOurCollection&ReturnPath=/ListContent.aspx?page=28> ;
   schema:url <http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=128413> ;
   schema:workExample <http://dx.doi.org/10.1007/b98484> ;
   schema:workExample <http://worldcat.org/isbn/9783540246114> ;
   schema:workExample <http://worldcat.org/isbn/9783540222651> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/990384620> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/899373309#Person/baier_christel> # Christel Baier
    a schema:Person ;
   schema:familyName "Baier" ;
   schema:givenName "Christel" ;
   schema:name "Christel Baier" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Person/haverkort_boudewijn_r> # Boudewijn R Haverkort
    a schema:Person ;
   schema:familyName "Haverkort" ;
   schema:givenName "Boudewijn R." ;
   schema:name "Boudewijn R Haverkort" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Person/hermanns_holger> # Holger Hermanns
    a schema:Person ;
   schema:familyName "Hermanns" ;
   schema:givenName "Holger" ;
   schema:name "Holger Hermanns" ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/operating_systems_computers> # Operating systems (Computers)
    a schema:Intangible ;
   schema:name "Operating systems (Computers)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/software_engineering> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/stochastic_analysis> # Stochastic analysis
    a schema:Intangible ;
   schema:name "Stochastic analysis"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/899373309#Topic/stochastic_processes> # Stochastic processes
    a schema:Intangible ;
   schema:name "Stochastic processes"@en ;
    .

<http://worldcat.org/isbn/9783540222651>
    a schema:ProductModel ;
   schema:isbn "3540222650" ;
   schema:isbn "9783540222651" ;
    .

<http://worldcat.org/isbn/9783540246114>
    a schema:ProductModel ;
   schema:isbn "3540246118" ;
   schema:isbn "9783540246114" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/990384620> ; # Validations of Stochastic Systems: A Guide to Current Research.
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/oclc/56333914>
    a schema:CreativeWork ;
   rdfs:label "Validations of stochastic systems" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/990384620> ; # Validations of Stochastic Systems: A Guide to Current Research.
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.