{"department":[{"_id":"DEP5023"}],"place":"Prague, Czech Republic","page":"pp. 977-978","type":"conference","publisher":"Vol. 263","citation":{"ieee":"B. Böttcher, N. Moriz, and O. Niggemann, “From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach,” in <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>, 2014, pp. 977–978.","mla":"Böttcher, Björn, et al. “From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach.” <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>, edited by B. Schaub, T., Friedrich, G. O’Sullivan, Vol. 263, 2014, pp. 977–78.","chicago":"Böttcher, Björn, Natalia Moriz, and Oliver Niggemann. “From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach.” In <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>, edited by B. Schaub, T., Friedrich, G. O’Sullivan, 977–78. Prague, Czech Republic: Vol. 263, 2014.","short":"B. Böttcher, N. Moriz, O. Niggemann, in: B. Schaub, T., Friedrich, G. O’Sullivan (Ed.), 21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014, Vol. 263, Prague, Czech Republic, 2014, pp. 977–978.","bjps":"<b>Böttcher B, Moriz N and Niggemann O</b> (2014) From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In Schaub, T., Friedrich, G. O’Sullivan B (ed.), <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>. Prague, Czech Republic: Vol. 263, pp. 977–978.","ufg":"<b>Böttcher, Björn et. al. (2014)</b>: From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach, in: B. Schaub, T., Friedrich, G. O’Sullivan (Hg.): <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>, Prague, Czech Republic, S. 977–978.","apa":"Böttcher, B., Moriz, N., &#38; Niggemann, O. (2014). From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In B. Schaub, T., Friedrich, G. O’Sullivan (Ed.), <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i> (pp. 977–978). Prague, Czech Republic: Vol. 263.","havard":"B. Böttcher, N. Moriz, O. Niggemann, From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach, in: B. Schaub, T., Friedrich, G. O’Sullivan (Ed.), 21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014, Vol. 263, Prague, Czech Republic, 2014: pp. 977–978.","chicago-de":"Böttcher, Björn, Natalia Moriz und Oliver Niggemann. 2014. From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In: <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>, hg. von B. Schaub, T., Friedrich, G. O’Sullivan, 977–978. Prague, Czech Republic: Vol. 263.","van":"Böttcher B, Moriz N, Niggemann O. From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In: Schaub, T., Friedrich, G. O’Sullivan B, editor. 21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014. Prague, Czech Republic: Vol. 263; 2014. p. 977–8.","ama":"Böttcher B, Moriz N, Niggemann O. From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In: Schaub, T., Friedrich, G. O’Sullivan B, ed. <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>. Prague, Czech Republic: Vol. 263; 2014:977-978.","din1505-2-1":"<span style=\"font-variant:small-caps;\">Böttcher, Björn</span> ; <span style=\"font-variant:small-caps;\">Moriz, Natalia</span> ; <span style=\"font-variant:small-caps;\">Niggemann, Oliver</span>: From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In: <span style=\"font-variant:small-caps;\">Schaub, T., Friedrich, G. O’Sullivan, B.</span> (Hrsg.): <i>21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014</i>. Prague, Czech Republic : Vol. 263, 2014, S. 977–978"},"author":[{"full_name":"Böttcher, Björn","first_name":"Björn","last_name":"Böttcher"},{"first_name":"Natalia","last_name":"Moriz","full_name":"Moriz, Natalia","id":"44238"},{"last_name":"Niggemann","first_name":"Oliver","id":"10876","full_name":"Niggemann, Oliver"}],"status":"public","date_created":"2021-02-02T09:10:58Z","user_id":"68554","date_updated":"2023-03-15T13:49:55Z","title":"From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach","editor":[{"full_name":"Schaub, T., Friedrich, G. O'Sullivan, B.","last_name":"Schaub, T., Friedrich, G. O'Sullivan","first_name":"B."}],"language":[{"iso":"eng"}],"year":2014,"_id":"4804","publication":"21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014"}