Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||