KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.1109/ECC.2014.6862231

Application of contract-based verification techniques for hybrid automata to surgical robotic systems

Schreiter, L.; Bresolin, D.; Capiluppi, M.; Raczkowsky, J.; Fiorini, P.; Woern, H.



Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-3-9524269-1-3
KITopen ID: 1000045413
Erschienen in European Control Conference (ECC'14), Strasbourg, France, June 24-27, 2014
Verlag IEEE, Piscataway (NJ)
Seiten 1-6
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page