학술논문
'학술논문'
에서 검색결과 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)
주제어
언어