학술논문
'학술논문'
에서 검색결과 145건 | 목록
10~20
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 December 2019, 55(1):33-71)
Conference
2006 Formal Methods in Computer Aided Design Formal Methods in Computer Aided Design, 2006. FMCAD '06. :53-59 Nov, 2006
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)
Book
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, 13993 LNCS:v-viii)
Book
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, 13993 LNCS:126-144)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 1 October 2017, 19(5):517-534)
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)
검색 결과 제한하기
제한된 항목
[AR] Sharygina, N.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어