Application of contract-based verification techniques for hybrid automata to surgical robotic systems
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 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 | Institute of Electrical and Electronics Engineers (IEEE) |
| Seiten | 1-6 |
| Nachgewiesen in | Dimensions |