Selected reflections on formal modeling in Industry 4.0

Mariusz Kostrzewski, Norbert Chamier-Gliszczynski, Tomasz Królikowski. Selected reflections on formal modeling in Industry 4.0. In Matteo Cristani, Carlos Toro 0001, Cecilia Zanni-Merk, Robert J. Howlett, Lakhmi C. Jain, editors, Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, Virtual Event, 16-18 September 2020. Volume 176 of Procedia Computer Science, pages 3293-3300, Elsevier, 2020. [doi]

Authors

Mariusz Kostrzewski

This author has not been identified. Look up 'Mariusz Kostrzewski' in Google

Norbert Chamier-Gliszczynski

This author has not been identified. Look up 'Norbert Chamier-Gliszczynski' in Google

Tomasz Królikowski

This author has not been identified. Look up 'Tomasz Królikowski' in Google