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

Simona Bernardi, José Manuel Colom, Jorge Albareda, Cristian Mahulea. A model-based approach for the specification and verification of clinical guidelines. In Antoni Grau, Herminio Martínez, editors, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014. pages 1-8, IEEE, 2014. [doi]

Authors

Simona Bernardi

This author has not been identified. Look up 'Simona Bernardi' in Google

José Manuel Colom

This author has not been identified. Look up 'José Manuel Colom' in Google

Jorge Albareda

This author has not been identified. Look up 'Jorge Albareda' in Google

Cristian Mahulea

This author has not been identified. Look up 'Cristian Mahulea' in Google