Assisted Design for Automation Systems - from Formal Requirements to Final Designs
Natalia Moriz , Björn Böttcher , Oliver Niggemann and Josef Lackhove,
Sep 2014
Literature procurement:
19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
Bibtex: Download Bibtex
@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 | = | {}, |