EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Sitemap
 Search
 Organisation

EEMCS EPrints Service


Research Project: McSTORES: Model Checking Stochastic Systems using Rare Event Simulation
Home Policy Brochure Browse Search User Area Contact Help

2010

Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. (2010) Transient Behaviour in Highly Dependable Markovian Systems: New Regimes, Multiple Paths. In: Eighth International Workshop on Rare-Event Simulation, 21-23 June 2010, Cambridge, UK. pp. 26-27. Isaac Newton Institute for Mathematical Sciences. ISSN not assigned
Reijsbergen, D.P. and de Boer, P.T. and Scheinhardt, W.R.W. and Haverkort, B.R.H.M. (2010) Rare event simulation for highly dependable systems with fast repairs. In: Proceedings of the Seventh International Conference on Quantitative Evaluation of SysTems (QEST) 2010, 15-18 Sep 2010, Williamsburg, Virginia. pp. 251-260. IEEE Press. ISBN 978-1-4244-8082-1