Publikationen

Moriz, Natalia; Böttcher, Björn; Niggemann, Oliver; Lackhove, Josef: 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, Sep 2014.

Bibtex:

@INPROCEEDINGS{Assisted Design for Automation Systems - from Formal Requirements to Final Designs,
     author={Moriz, Natalia and Böttcher, Björn and Niggemann, Oliver and Lackhove, Josef},
     title={Assisted Design for Automation Systems - from Formal Requirements to Final Designs},
     abstract={},
     booktitle={19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
     year={2014},
     month={Sep},
     publisher={},
     address={Barcelona, Spain},
     editor={},
     pages={},
     organisation={},
}

Download: Bibtex.txt