@InProceedings{UlbrichSchreiterEtAl2105,
author = {Mattias Ulbrich and Luzie Schreiter and Sarah Grebing and
J{\"o}rg Raczkowsky and Heinz W{\"o}rn and Bernhard Beckert},
title = {A Concept for Multi-Phase Incremental Formal
Verification in Robotic Guided Surgery},
booktitle = {4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)},
year = {2015},
month = nov,
note = {Work-in-progress Paper}
}
A Concept for Multi-Phase Incremental Formal Verification in Robotic Guided Surgery
| Autor(en): | Mattias Ulbrich, Luzie Schreiter, Sarah Grebing, Jörg Raczkowsky, Heinz Wörn und Bernhard Beckert |
|---|---|
| In: | 4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015) |
| Jahr: | 2015 |
| Preprint/PDF: | ftscs2015.pdf |
Anmerkung
Work-in-progress Paper