Validation of Stochastic Systems : A Guide to Current Research
Christel Baier
Download - Immediately Available
Format: eBook (PDF)
Operations Research Proceedings 2010 : Selected Papers of the Annual International Conference of the German Operations Research Society
Bo Hu
Download - Immediately Available
Format: eBook (PDF)
Quantitative Evaluation of Systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings
Kaustubh Joshi
Download - Immediately Available
Format: eBook (PDF)