Experiences with a Compositional Model Checker in the Healthcare Domain

Files in This Item:

File	Description	Size	Format
	publisher's version	1.31 MB	Adobe PDF	Under Embargo until further notice

Title:	Experiences with a Compositional Model Checker in the Healthcare Domain
Author(s):	Hooman, J. (071636277) Huis in 't Veld, R. Schuts, M.
Publication year:	2011
Document type:	Article in monograph or in proceedings
Book title:	Liu, Z. (ed.), Foundations of Health Information Engineering and Systems - FHIES 2011 : First International Symposium Johannesburg, South Africa, September 2011 Pre-symposium Proceedings
Start page:	p. 92
End page:	p. 109
Series:	UNU-IIST Report ; 454
Publisher:	[S.l. : s.n.]
Related link(s):	http://www.iist.unu.edu/ICTAC/FHIES2011/Files/fhies2011_8_17.pdf
Annotation:	Scientific publication Foundations of Health Information Engineering and Systems - FHIES 2011: First International Symposium Johannesburg, South Africa, September 2011
Subject:	Model Based System Development
Organization:	Model Based System Development
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/91792