Coverart for item
The Resource Validation of Stochastic Systems : A Guide to Current Research, by Christel Baier, (electronic book)

Validation of Stochastic Systems : A Guide to Current Research, by Christel Baier, (electronic book)

Label
Validation of Stochastic Systems : A Guide to Current Research
Title
Validation of Stochastic Systems
Title remainder
A Guide to Current Research
Statement of responsibility
by Christel Baier
Contributor
Subject
Language
eng
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 sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems
Cataloging source
UkLiU
LC call number
QA274.2
LC item number
.V35 2004
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Baier, Christel
  • LINK (Online service)
http://library.link/vocab/subjectName
  • Stochastic systems
  • Stochastic analysis
  • Stochastic processes
Label
Validation of Stochastic Systems : A Guide to Current Research, by Christel Baier, (electronic book)
Instantiates
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Form of item
electronic
Isbn
9783540222651
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic resource.
Specific material designation
remote
Label
Validation of Stochastic Systems : A Guide to Current Research, by Christel Baier, (electronic book)
Publication
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Form of item
electronic
Isbn
9783540222651
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Reproduction note
Electronic resource.
Specific material designation
remote

Library Locations

Processing Feedback ...