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
; 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 |
| Publikationsjahr | 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 |