Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

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

Begutachtete Veröffentlichung in Tagungsband

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

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