Autor der Publikation

Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver.

, , , , , , , , , und . Software Engineering (Workshops), Volume 1337 von CEUR Workshop Proceedings, Seite 19-23. CEUR-WS.org, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Triboelectricity in Capacitive Biopotential Measurements., , , , und . IEEE Trans. Biomed. Engineering, 58 (5): 1268-1277 (2011)A Bendable and Wearable Cardiorespiratory Monitoring Device Fusing Two Noncontact Sensor Principles., , , und . BSN, Seite 58-63. IEEE, (2014)Robust Control of Intracranial Pressure with an Electromechanical Extra-ventricular Drainage., , , , , und . SMC, Seite 2213-2218. IEEE, (2013)A Thorax Simulator for Complex Dynamic Bioimpedance Measurements With Textile Electrodes., , , , und . IEEE Trans. Biomed. Circuits and Systems, 9 (3): 412-420 (2015)SensInDenT - Noncontact Sensors Integrated Into Dental Treatment Units., , , , , und . IEEE Trans. Biomed. Circuits and Systems, 11 (1): 225-233 (2017)Control of an Electromechanical Hydrocephalus Shunt - a New Approach., , , , , , , , und . IEEE Trans. Biomed. Engineering, 61 (9): 2379-2388 (2014)Noncontact Monitoring of Cardiorespiratory Activity by Electromagnetic Coupling., , , , und . IEEE Trans. Biomed. Engineering, 60 (8): 2142-2152 (2013)The MAIN Shirt: A Textile-Integrated Magnetic Induction Sensor Array., , , und . Sensors, 14 (1): 1039-1056 (2014)Safety Conflict Analysis in Medical Cyber-Physical Systems Using an SMT-Solver., , , , , , , , , und . Software Engineering (Workshops), Volume 1337 von CEUR Workshop Proceedings, Seite 19-23. CEUR-WS.org, (2015)Software-based Prediction of Cannula Occlusion During Extracorporeal Blood Circulation Through Networked Medical Data., , , , , , , , und . Software Engineering (Workshops), Volume 1337 von CEUR Workshop Proceedings, Seite 1-6. CEUR-WS.org, (2015)