Validation of Stochastic Systems: A Guide to Current Research by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
English | PDF | 2004 | 473 Pages | ISBN : 3540222650 | 4 MB
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.
Without You And Your Support We Can’t Continue
Thanks For Buying Premium From My Links For Support
Thanks For Buying Premium From My Links For Support