1
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems [E-Book] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:
2
Quantitative Evaluation of Systems [E-Book] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:
3
Formal Methods for Industrial Critical Systems [E-Book]: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings /
Other Personal Name(s): “...Stoelinga, Mariëlle....”

Full text 
Favorites
Saved in:

Narrow Search Results