Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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

Reviewed Paper In Proceedings
Author(s):Mattias Ulbrich, Luzie Schreiter, Sarah Grebing, Jörg Raczkowsky, Heinz Wörn, and Bernhard Beckert
In:4th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2015)
Year:2015
Preprint/PDF:ftscs2015.pdf

Note

Work-in-progress Paper

BibTeX

@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}
}