A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers
Manataki, Areti, Fleuriot, Jacques, Papapanagiotou, PetrosYear:
2016
Language:
english
Journal:
IEEE Journal of Biomedical and Health Informatics
DOI:
10.1109/jbhi.2016.2579881
File:
PDF, 1.04 MB
english, 2016