%0 Conference Paper %A Terzimehić, Tarik %A Wenger, Monika %A Voss, Sebastian %A Grüner, Sten %A Elfahaam, Haitham Ahmed %T SMT-Based Deployment Calculation in Industrial Automation Domain %C Piscataway, NJ %I IEEE %M RWTH-2019-09189 %P 290-297 %D 2019 %Z Datenträger: USB-Stick %< 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) : Paraninfo Building, University of Zaragoza, Zaragoza, Spain, 10-13 September, 2019 : proceedings / organized by: University of Zaragoza, Spain ; sponsored by: the Institute of Electrical and Electronics Engineers (IEEE), IEEE Industrial Electronics Society (IES), Aragón Institute for Engineering Research (I3A), Spain %B 24. IEEE International Conference on Emerging Technologies and Factory Automation %C 10 Sep 2019 - 13 Sep 2019, Zaragoza (Spain) Y2 10 Sep 2019 - 13 Sep 2019 M2 Zaragoza, Spain %F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 %9 Contribution to a bookContribution to a conference proceedings %U <Go to ISI:>//WOS:000556596600037 %R 10.1109/ETFA.2019.8868247 %U https://publications.rwth-aachen.de/record/767957