SMT-Based Deployment Calculation in Industrial Automation Domain

Terzimehić, Tarik; Wenger, Monika; Voss, Sebastian; Grüner, Sten; Elfahaam, Haitham Ahmed (Corresponding author)

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