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]
Abstract is missing.