Textile in the Loop as Automated Verification Tool for Smart Textile Applications.

Phillip Petz Josef Langer Florian Eibensteiner

Published in: EUROCAST (2022)

Keyphrases

automated verification
defect detection
model checking
user friendly
mechanical properties
real time
automated reasoning
database
genetic algorithm
search engine
knowledge base
software tools
analysis tool
formal verification