{"date_updated":"2023-03-15T13:49:55Z","date_created":"2021-02-02T09:09:47Z","user_id":"68554","title":"Assisted Design for Automation Systems - from Formal Requirements to Final Designs","language":[{"iso":"eng"}],"place":"Barcelona, Spain","department":[{"_id":"DEP5023"}],"type":"conference","citation":{"van":"Moriz N, Böttcher B, Niggemann O, Lackhove J. Assisted Design for Automation Systems - from Formal Requirements to Final Designs. In: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Barcelona, Spain; 2014.","din1505-2-1":"<span style=\"font-variant:small-caps;\">Moriz, Natalia</span> ; <span style=\"font-variant:small-caps;\">Böttcher, Björn</span> ; <span style=\"font-variant:small-caps;\">Niggemann, Oliver</span> ; <span style=\"font-variant:small-caps;\">Lackhove, Josef</span>: Assisted Design for Automation Systems - from Formal Requirements to Final Designs. In: <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain, 2014","ama":"Moriz N, Böttcher B, Niggemann O, Lackhove J. Assisted Design for Automation Systems - from Formal Requirements to Final Designs. In: <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain; 2014.","chicago-de":"Moriz, Natalia, Björn Böttcher, Oliver Niggemann und Josef Lackhove. 2014. Assisted Design for Automation Systems - from Formal Requirements to Final Designs. In: <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain.","short":"N. Moriz, B. Böttcher, O. Niggemann, J. Lackhove, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, Spain, 2014.","chicago":"Moriz, Natalia, Björn Böttcher, Oliver Niggemann, and Josef Lackhove. “Assisted Design for Automation Systems - from Formal Requirements to Final Designs.” In <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain, 2014.","bjps":"<b>Moriz N <i>et al.</i></b> (2014) Assisted Design for Automation Systems - from Formal Requirements to Final Designs. <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain.","ufg":"<b>Moriz, Natalia et. al. (2014)</b>: Assisted Design for Automation Systems - from Formal Requirements to Final Designs, in: <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, Barcelona, Spain.","apa":"Moriz, N., Böttcher, B., Niggemann, O., &#38; Lackhove, J. (2014). Assisted Design for Automation Systems - from Formal Requirements to Final Designs. In <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Barcelona, Spain.","havard":"N. Moriz, B. Böttcher, O. Niggemann, J. Lackhove, Assisted Design for Automation Systems - from Formal Requirements to Final Designs, in: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Barcelona, Spain, 2014.","ieee":"N. Moriz, B. Böttcher, O. Niggemann, and J. Lackhove, “Assisted Design for Automation Systems - from Formal Requirements to Final Designs,” in <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2014.","mla":"Moriz, Natalia, et al. “Assisted Design for Automation Systems - from Formal Requirements to Final Designs.” <i>19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2014."},"author":[{"first_name":"Natalia","last_name":"Moriz","full_name":"Moriz, Natalia","id":"44238"},{"full_name":"Böttcher, Björn","last_name":"Böttcher","first_name":"Björn"},{"first_name":"Oliver","last_name":"Niggemann","full_name":"Niggemann, Oliver","id":"10876"},{"last_name":"Lackhove","first_name":"Josef","full_name":"Lackhove, Josef"}],"status":"public","publication":"19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","_id":"4803","year":2014}