SMT-Based Deployment Calculation in Industrial Automation Domain

(2019) [Contribution to a conference proceedings]

[24. International Conference on Emerging Technologies and Factory Automation, ETFA, 2019-09-10 - 2019-09-13, Zaragoza, Spain]
Page(s): 9 Seiten

Authors

Selected Authors

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

Identifier

  • REPORT NUMBER: RWTH-2019-09189