Home  |  deutsch  |  Legals  |  Data Protection  |  Sitemap  |  KIT

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

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},
  note         = {Work-in-progress Paper}
}