학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 15건 | 목록 1~10
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2022, 60(3):350-380)
Book
In: iFM 2023 - 18th International Conference, iFM 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14300 LNCS:62-81)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2022, 24(1):111-125)
Book
In: Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13965 LNCS:209-223)
Conference
In: Proceedings of the ACM Symposium on Applied Computing, Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022. (Proceedings of the ACM Symposium on Applied Computing, 25 April 2022, :1808-1816)
Conference
In: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022. (Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022, 2022, :349-358)
Book
In: Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13371 LNCS:325-338)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, 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), 2022, 13243 LNCS:524-542)
Conference
In: Proceedings - Design Automation Conference, 2021 58th ACM/IEEE Design Automation Conference, DAC 2021. (Proceedings - Design Automation Conference, 5 December 2021, 2021-December:541-546)
Conference
In: Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020. (Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020, 21 September 2020, :77-82)
검색 결과 제한하기
제한된 항목
[AR] Blicha, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어