학술논문
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit
Document Type
Conference Paper
Author
Source
In: 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, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13994 LNCS:44-52)
Subject
Language
English
ISSN
16113349
03029743
03029743