Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel. Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. In Sriram Sankaranarayanan 0001, Natasha Sharygina, editors, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II. Volume 13994 of Lecture Notes in Computer Science, pages 44-52, Springer, 2023. [doi]

Authors

Wan J. Fokkink

This author has not been identified. Look up 'Wan J. Fokkink' in Google

Martijn A. Goorden

This author has not been identified. Look up 'Martijn A. Goorden' in Google

Dennis Hendriks

This author has not been identified. Look up 'Dennis Hendriks' in Google

D. A. van Beek

This author has not been identified. Look up 'D. A. van Beek' in Google

Albert T. Hofkamp

This author has not been identified. Look up 'Albert T. Hofkamp' in Google

Ferdie F. H. Reijnen

This author has not been identified. Look up 'Ferdie F. H. Reijnen' in Google

L. F. P. Etman

This author has not been identified. Look up 'L. F. P. Etman' in Google

L. Moormann

This author has not been identified. Look up 'L. Moormann' in Google

Joanna M. van de Mortel-Fronczak

This author has not been identified. Look up 'Joanna M. van de Mortel-Fronczak' in Google

Michel A. Reniers

This author has not been identified. Look up 'Michel A. Reniers' in Google

Jacobus E. Rooda

This author has not been identified. Look up 'Jacobus E. Rooda' in Google

Jeffrey L. Derevensky

This author has not been identified. Look up 'Jeffrey L. Derevensky' in Google

Ramon R. H. Schiffelers

This author has not been identified. Look up 'Ramon R. H. Schiffelers' in Google

Sander Thuijsman

This author has not been identified. Look up 'Sander Thuijsman' in Google

J. J. Verbakel

This author has not been identified. Look up 'J. J. Verbakel' in Google

J. A. Vogel

This author has not been identified. Look up 'J. A. Vogel' in Google