KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1109/ETFA.2014.7005288

Assisted design for automation systems - From formal requirements to final designs

Moriz, N.; Bottcher, B.; Niggemann, O.; Lackhove, J.



Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Jahr 2014
Sprache Englisch
Identifikator ISBN: 978-1-4799-4846-8
KITopen ID: 1000045537
Erschienen in IEEE Emerging Technology and Factory Automation (ETFA'14), Barcelona, Spain, September 16-19, 2014
Verlag IEEE, Piscataway (NJ)
Seiten 1-5
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page