Validation of behavior specifications of production systems within different phases of the engineering process.

Arndt Lder, Ronald Rosendahl, Nicole Schmidt

Browse the full ETFA paper archive.