학술논문
'학술논문'
에서 검색결과 47건 | 목록
1~10
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, June 2022, 60(3):350-380)
Book
In: Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14095 LNCS:1-19)
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)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 December 2019, 55(1):33-71)
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 21st Formal Methods in Computer-Aided Design, FMCAD 2021 , Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021. (Proceedings of the 21st Formal Methods in Computer-Aided Design, FMCAD 2021, 2021, :271-279)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12478 LNCS:178-194)
검색 결과 제한하기
제한된 항목
[AR] Hyvärinen, A.E.J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어