학술논문
'학술논문'
에서 검색결과 7건 | 목록
1~10
Conference
2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) Automation Science and Engineering (CASE), 2023 IEEE 19th International Conference on. :1-7 Aug, 2023
Academic Journal
In IFAC PapersOnLine 2020 53(2):15380-15387
Conference
2021 IEEE 17th International Conference on Automation Science and Engineering (CASE) Automation Science and Engineering (CASE), 2021 IEEE 17th International Conference on. :784-791 Aug, 2021
Conference
2019 IEEE Conference on Control Technology and Applications (CCTA) Control Technology and Applications (CCTA), 2019 IEEE Conference on. :843-850 Aug, 2019
Book
Fokkink, W.J.; van Beek, D.A.; Hofkamp, A.T.; Etman, L.F.P.; Moormann, L.; van de Mortel-Fronczak, J.M.; Reniers, M.A.; Rooda, J.E.; Schiffelers, R.R.H.; Thuijsman, S.B.; Verbakel, J.J.; Goorden, M.A.; Vogel, J.A.; Hendriks, D.; van der Sanden, L.J.; Reijnen, F.F.H.
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)
Conference
In: IFAC-PapersOnLine . (IFAC-PapersOnLine, 2022, 55(28):79-86)
Book
Goorden, M.A.; Moormann, L.; Reijnen, F.F.H.; Verbakel, J.J.; van Beek, D.A.; Hofkamp, A.T.; van de Mortel-Fronczak, J.M.; Reniers, M.A.; Fokkink, W.J.; Rooda, J.E.; Etman, L.F.P.
In: Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12153 LNCS:1-16)
검색 결과 제한하기
제한된 항목
[AR] Verbakel, J.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어