2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) Automation Science and Engineering (CASE), 2021 IEEE 17th International Conference on. :1-8 Aug, 2021
2018 18th International Conference on Application of Concurrency to System Design (ACSD) ACSD Application of Concurrency to System Design (ACSD), 2018 18th International Conference on. :40-49 Jun, 2018
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on. :416-425 Sep, 2015
Fokkink, W, Goorden, M, Hendriks, D, van Beek, B, Hofkamp, A, Reijnen, F, Etman, P, Moormann, L, van de Mortel-Fronczak, J, Reniers, M A, Rooda, J, van der Sanden, B, Schiffelers, R, Thuijsman, S, Verbakel, J & Vogel, H 2023, Eclipse ESCET: The Eclipse Supervisory Control Engineering Toolkit . in Tools and Algorithms for the Construction and Analysis of Systems .