A model-based approach for the specification and verification of clinical guidelines

TitleA model-based approach for the specification and verification of clinical guidelines
Publication TypeConference Paper
Year of Publication2014
AuthorsBernardi, S, Albareda J, Colom JM, Mahulea C
Conference NameWorkshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014)
Date Published09/2014
Conference LocationSeptember 16, 2014, Barcelona, Spain
Export