KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.3233/978-1-61499-419-0-977

From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach

Böttcher, B.; Moriz, N.; Niggemann, O.



Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Jahr 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, Amsterdam (Niederlande)
Seiten 977-978
Serie Frontiers in Artificial Intelligence and Applications ; 263
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page