Commissioning and Scheduling of Manufacturing Systems through Digital Models. - Matthias Schamp (2024)

State-based verification of industrial control programs with the use of a digital model. - Matthias Schamp; El-Houssaine Aghezzaf; Johannes Cottyn (Int. J. Comput. Integr. Manuf., 2024)