Publikationen

Böttcher, Björn; Moriz, Natalia; Niggemann, Oliver: From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach. In: 21st European Conference on Artificial Intelligence (ECAI 2014) In: 21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014 S.: pp. 977-978, Vol. 263, Prague, Czech Republic, Aug 2014.

Bibtex:

@INPROCEEDINGS{From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach,
     author={Böttcher, Björn and Moriz, Natalia and Niggemann, Oliver},
     title={From Formal Requirements on Technical Systems to Complete Designs - A Holistic Approach},
     abstract={},
     booktitle={21st European Conference on Artificial Intelligence Frontiers in Artificial Intelligence and Applications, 2014},
     year={2014},
     month={Aug},
     publisher={Vol. 263},
     address={Prague, Czech Republic},
     editor={Schaub, T., Friedrich, G. O'Sullivan, B. },
     pages={pp. 977-978},
     organisation={},
}

Download: Bibtex.txt