KIT | KIT-Bibliothek | Impressum | Datenschutz

Model Checking for Robotic Guided Surgery

Mönnich, H.; Raczkowsky, J.; Wörn, H.


Zugehörige Institution(en) am KIT Fakultät für Informatik – Institut für Prozessrechentechnik, Automation und Robotik (IPR)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2010
Sprache Englisch
Identifikator ISBN: 978-3-642-11744-2
ISSN: 1867-8211
KITopen-ID: 1000031401
Erschienen in Electronic Healthcare : Second International ICST Conference, eHealth 2009, Istanbul, Turkey, September 23-25, 2009, Revised Selected Papers. Ed.: P. Kostkova
Verlag Springer-Verlag
Seiten 1-4
Serie Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering ; 27
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page