EEMCS

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

EEMCS EPrints Service


Classification: CR-B.1.3
Home Policy Brochure Browse Search User Area Contact Help

2010

Haverkort, B.R.H.M. and Kuntz, G.W.M. and Leitner-Fischer, F. and Remke, A.K.I. and Roolvink, S. (2010) Probabilistic verification of Architectural software models using SoftArc and Prism. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7
Kuntz, G.W.M. and Haverkort, B.R.H.M. and Remke, A.K.I. and Roolvink, S. (2010) Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 27-34. Taylor & Francis Group. ISBN 978-0-415-60427-7