KIT | KIT-Bibliothek | Impressum

A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery

Ulbrich, Mattias; Schreiter, Luzie; Grebing, Sarah; Raczkowsky, Jörg; Wörn, Heinz; Beckert, Bernhard



Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator KITopen ID: 1000051466
Erschienen in FTSCS 2015 Fourth International Workshop on Formal Techniques for Safety-Critical Systems, November 6 and 7, 2015 Paris, France
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page