Experiences with a Compositional Model Checker in the Healthcare Domain

Thumbnail
Fulltext:
91792.pdf
Embargo:
until further notice
Size:
1.284Mb
Format:
PDF
Description:
Publisher’s version
Publication year
2011
Author(s)
Hooman, J.J.M.
Huis in 't Veld, R.
Schuts, M.
Publisher
[S.l.] : [S.n.]
In
Unu-Iist Report, (2011)Liu, Z. (ed.), Foundations of Health Information Engineering and Systems - FHIES 2011 : First International Symposium Johannesburg, South Africa, September 2011 Pre-symposium Proceedings, pp. 92-109
Related links
Annotation
Foundations of Health Information Engineering and Systems - FHIES 2011: First International Symposium Johannesburg, South Africa, September 2011
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/91792   https://hdl.handle.net/2066/91792
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.