Stochastic Model Checking: International Autumn School, Rocks 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Stochastic models.- Abstraction techniques.- Stochastic model checking.

• Format: Paperback
• Language: English
• ISBN: 3662454882
• ISBN13: 9783662454886
• Release Date: October 2014
• Publisher: Springer
• Length: 281 Pages
• Weight: 0.90 lbs.
• Dimensions: 0.7" x 6.1" x 9.0"