Phillip Petz, Josef Langer, Florian Eibensteiner. Textile in the Loop as Automated Verification Tool for Smart Textile Applications. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers. Volume 13789 of Lecture Notes in Computer Science, pages 215-222, Springer, 2022. [doi]
Abstract is missing.