Publikationen_1920x250_Detail

Assisted Design for Automation Systems - from Formal Requirements to Final Designs

Natalia Moriz , Björn Böttcher , Oliver Niggemann und Josef Lackhove,
Sep 2014
Literatur Beschaffung: 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
@inproceedings{458,
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},
booktitle= {},
year= {2014},
editor= {},
volume= {},
series= {},
pages= {},
address= {Barcelona, Spain},
month= {Sep},
organisation= {},
publisher= {19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)},
note= {},
}