SMT-Based Deployment Calculation in Industrial Automation Domain

Piscataway, NJ / IEEE (2019) [Contribution to a book, Contribution to a conference proceedings]

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
Page(s): 290-297



Terzimehić, Tarik
Wenger, Monika
Voss, Sebastian
Grüner, Sten
Elfahaam, Haitham Ahmed