Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit

Authors :: Sankaranarayanan, S.
Fokkink, W.J.
Goorden, M.A.
Hendriks, D.
Beek, D.A. van
Hofkamp, A.T.
Reijnen, F.F.H.
Etman, L.F.P.
Moormann, L.
Mortel-Fronczak, J.M. van de
Reniers, M.A.
Rooda, J.E.
Sanden, L.J. van der
Schiffelers, R.R.H.
Thuijsman, S.B.
Verbakel, J.J.
Vogel, J.A.
Sankaranarayanan, S.
Fokkink, W.J.
Goorden, M.A.
Hendriks, D.
Beek, D.A. van
Hofkamp, A.T.
Reijnen, F.F.H.
Etman, L.F.P.
Moormann, L.
Mortel-Fronczak, J.M. van de
Reniers, M.A.
Rooda, J.E.
Sanden, L.J. van der
Schiffelers, R.R.H.
Thuijsman, S.B.
Verbakel, J.J.
Vogel, J.A.
Source :: Sankaranarayanan, S. (ed.), 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; Lecture Notes in Computer Science; 44; 52; 9783031308208; 0302-9743; Lecture Notes in Computer Science ; 13994; Sankaranarayanan, S. (ed.), 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~Lecture Notes in Computer Science~44~52~~9783031308208~0302-9743~~~Lecture Notes in Computer Science ; 13994~
Publication Year :: 2023
Abstract: TACAS 2023<br />Item does not contain fulltext

Database :: OAIster
Journal :: Sankaranarayanan, S. (ed.), 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; Lecture Notes in Computer Science; 44; 52; 9783031308208; 0302-9743; Lecture Notes in Computer Science ; 13994; Sankaranarayanan, S. (ed.), 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~Lecture Notes in Computer Science~44~52~~9783031308208~0302-9743~~~Lecture Notes in Computer Science ; 13994~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1378470767
Document Type :: Electronic Resource