Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/24363
dc.contributor | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
dc.contributor.author | Sfyrla, Vassiliki |
dc.contributor.author | Carmona Vargas, Josep |
dc.contributor.author | Henck, Pascal |
dc.date | 2014 |
dc.identifier.citation | Sfyrla, V.; Carmona, J.; Henck, P. Process-oriented analysis for medical devices. A: Medical Cyber Physical Systems Workshop: Medical Device Interoperability, Safety, and Security Assurance. "5th Workshop on Medical Cyber-Physical Systems: MCPS’14, April 14th, 2014, Berlin, Germany". Berlin: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014, p. 143-146. |
dc.identifier.citation | 978-3-939897-66-8 |
dc.identifier.citation | 10.4230/OASIcs.MCPS.2014.143 |
dc.identifier.uri | http://hdl.handle.net/2117/24363 |
dc.language.iso | eng |
dc.publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
dc.rights | Attribution 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Aplicacions de la informàtica |
dc.subject | Medical informatics |
dc.subject | Discovery |
dc.subject | Formal analysis |
dc.subject | Infusion pump |
dc.subject | Process logs |
dc.subject | Process mining |
dc.subject | Medicina -- Informàtica |
dc.title | Process-oriented analysis for medical devices |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |