Opening book details…
Can I read Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 ; advanced lectures on EtoBox?
Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 ; advanced lectures by Anne Remke and Mariëlle Stoelinga (eds.) is a nonfiction available to read on EtoBox.
What is Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 ; advanced lectures about?
The use of stochastic models in computer science is wide spread, for instance in performance modeling, analysis of randomized algorithms and communication protocols which form the structure of the Internet. Stochastic model checking is an important field in stochastic analysis. It has rapidly gained popularity, due to its powerful and systematic methods to model and analyze stochastic systems. This book presents 7 tutorial lectures given by leading scientists at the ROCKS Autumn School on Stochastic Model Checking, held in Vahrn, Italy, in October 2012. The 7 chapters of this tutorial went through two rounds of reviewing and improvement and are summarizing the state-of-the-art in the field, centered around the tree areas of stochastic models, abstraction techniques and stochastic model checking. Erscheinungsdatum: 31.10.2014
Who reads Stochastic model checking : rigorous dependability analysis using model checking techniques for stochastic systems ; International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012 ; advanced lectures?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Anne Remke and Mariëlle Stoelinga (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 2014
- Language
- EN
- ISBN
- 9783662454893
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Computer Science
More by Anne Remke and Mariëlle Stoelinga (eds.)
Browse all works by Anne Remke and Mariëlle Stoelinga (eds.)
Similar books
- Formal Methods for Model-Driven Engineering [recurso electrónico] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures — Bran Selic (auth.), Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio (2012)
- Model checking software : 19th International SPIN Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012 : proceedings — Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (2012)
- Formal methods for performance evaluation : 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28 - June 2, 2007 ; advanced lectures — William J. Stewart (auth.), Marco Bernardo, Jane Hillston (2007)
- Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers (Lecture Notes in Computer Science, 2294) — Cinzia Bernardeschi, Nicoletta De Francesco (auth.), Agostino Cortesi (2002)
- Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings (Lecture Notes in Computer Science (7148)) — Ahmed Bouajjani, Cezara Drăgoi (auth.), Viktor Kuncak, Andrey Rybalchenko (2012)
- Verification, Model Checking, And Abstract Interpretation: 14th International Conference, Vmcai 2013, Rome, Italy, January 20-22, 2013, Proceedings (lecture Notes In Computer Science) — Leonardo de Moura, Dejan Jovanović (auth.), Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (2013)