{"year":2013,"_id":"4805","user_id":"68554","title":"Design of Industrial Automation Systems - Formal Requirements in the Engineering Process","date_created":"2021-02-02T09:13:41Z","place":"Cagliari, Italy","publication":"18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","type":"conference","citation":{"ama":"Böttcher B, Badinger J, Moriz N, Niggemann O. Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. In: <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy; 2013.","van":"Böttcher B, Badinger J, Moriz N, Niggemann O. Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. In: 18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA). Cagliari, Italy; 2013.","mla":"Böttcher, Björn, et al. “Design of Industrial Automation Systems - Formal Requirements in the Engineering Process.” <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2013.","ieee":"B. Böttcher, J. Badinger, N. Moriz, and O. Niggemann, “Design of Industrial Automation Systems - Formal Requirements in the Engineering Process,” in <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, 2013.","apa":"Böttcher, B., Badinger, J., Moriz, N., &#38; Niggemann, O. (2013). Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. In <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy.","ufg":"<b>Böttcher, Björn et. al. (2013)</b>: Design of Industrial Automation Systems - Formal Requirements in the Engineering Process, in: <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>, Cagliari, Italy.","bjps":"<b>Böttcher B <i>et al.</i></b> (2013) Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy.","chicago":"Böttcher, Björn, Johann Badinger, Natalia Moriz, and Oliver Niggemann. “Design of Industrial Automation Systems - Formal Requirements in the Engineering Process.” In <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy, 2013.","short":"B. Böttcher, J. Badinger, N. Moriz, O. Niggemann, in: 18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Cagliari, Italy, 2013.","havard":"B. Böttcher, J. Badinger, N. Moriz, O. Niggemann, Design of Industrial Automation Systems - Formal Requirements in the Engineering Process, in: 18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Cagliari, Italy, 2013.","din1505-2-1":"<span style=\"font-variant:small-caps;\">Böttcher, Björn</span> ; <span style=\"font-variant:small-caps;\">Badinger, Johann</span> ; <span style=\"font-variant:small-caps;\">Moriz, Natalia</span> ; <span style=\"font-variant:small-caps;\">Niggemann, Oliver</span>: Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. In: <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy, 2013","chicago-de":"Böttcher, Björn, Johann Badinger, Natalia Moriz und Oliver Niggemann. 2013. Design of Industrial Automation Systems - Formal Requirements in the Engineering Process. In: <i>18thIEEE International Conference on Emerging Technologies and Factory Automation (ETFA)</i>. Cagliari, Italy."},"language":[{"iso":"eng"}],"department":[{"_id":"DEP5023"}],"author":[{"first_name":"Björn","full_name":"Böttcher, Björn","last_name":"Böttcher"},{"first_name":"Johann","last_name":"Badinger","full_name":"Badinger, Johann"},{"id":"44238","first_name":"Natalia","last_name":"Moriz","full_name":"Moriz, Natalia"},{"full_name":"Niggemann, Oliver","last_name":"Niggemann","first_name":"Oliver","id":"10876"}],"date_updated":"2023-03-15T13:49:55Z","status":"public"}