{"year":2014,"date_updated":"2023-03-15T13:49:55Z","language":[{"iso":"eng"}],"date_created":"2021-02-02T09:09:47Z","status":"public","place":"Barcelona, Spain","type":"conference","_id":"4803","author":[{"id":"44238","last_name":"Moriz","full_name":"Moriz, Natalia","first_name":"Natalia"},{"full_name":"Böttcher, Björn","last_name":"Böttcher","first_name":"Björn"},{"first_name":"Oliver","id":"10876","full_name":"Niggemann, Oliver","last_name":"Niggemann"},{"first_name":"Josef","last_name":"Lackhove","full_name":"Lackhove, Josef"}],"user_id":"68554","title":"Assisted Design for Automation Systems - from Formal Requirements to Final Designs","publication":"19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","citation":{"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.","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.","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.","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.","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.","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.","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.","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.","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.","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."},"department":[{"_id":"DEP5023"}]}