학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, 2024)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, June 2022, 24(3):441-472)
Book
In: Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14952 LNCS:63-79)
Book
In: SOFSEM 2023: Theory and Practice of Computer Science - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13878 LNCS:239-253)
Book
In: Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12327 LNCS:231-251)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11428 LNCS:21-39)
검색 결과 제한하기
제한된 항목
[AR] Bunte, O.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어