Selected reflections on formal modeling in Industry 4.0.

Mariusz Kostrzewski, Norbert Chamier-Gliszczynski, Tomasz Krlikowski

Browse the full KES paper archive.