KIT | KIT-Bibliothek | Impressum | Datenschutz

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

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


Originalveröffentlichung
DOI: 10.1109/ETFA.2014.7005288
Dimensions
Zitationen: 1
Zugehörige Institution(en) am KIT Institut für Anthropomatik und Robotik (IAR)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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 Institute of Electrical and Electronics Engineers (IEEE)
Seiten 1-5
Nachgewiesen in Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page