Validation of Stochastic Systems
Subtitle: A Guide to Current Research (Lecture Notes in Computer Science)
Contributors: Christel Baier (Editor); Boudewijn R. Haverkort (Editor); Holger Hermanns (Editor); Joost-Pieter Katoen (Editor); Markus Siegle (Editor)
Edition: 1 edition
Publisher: Springer; Springer-Verlag
Published: October 5, 2004
Language: eng
Format: Hardcover
Number of pages: 467
ISBN-13: 9783540222651
Subjects: Probability & statistics; Programming - Software Development; Computer Science; Computers; Computers - General Information; Operating Systems - General; Computer Books: General; General; Computer Architecture - General; Computers / Computer Science; Markov models; formal methods; probabilistic automata; probabilistic systems; probabilistic timed systems; randomized algorithms; state space analysis; stochastic process algebras; stochastic systems; stochastic systems modeling
First sentence: The notion of a state machine has proved useful in many modelling situations, amongst others, the area of validation of stochastic systems.