From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach
| Zugehörige Institution(en) am KIT | Institut für Anthropomatik und Robotik (IAR) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2014 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-61499-418-3 ISSN: 0922-6389 KITopen-ID: 1000045447 |
| Erschienen in | ECAI 2014 - 21st European Conference on Artificial Intelligence, Prague, Czech Republic, August 18-22, 2014. Ed.: T. Schaub |
| Verlag | IOS-Press |
| Seiten | 977-978 |
| Serie | Frontiers in Artificial Intelligence and Applications ; 263 |