학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 74건 | 목록 1~10
Book
In: Formal Methods - 26th International Symposium, FM 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2025, 14933 LNCS:v-vi)
Academic Journal
In: Innovations in Systems and Software Engineering. (Innovations in Systems and Software Engineering, December 2022, 18(4):567-580)
Academic Journal
In: Information and Computation. (Information and Computation, November 2022, 289)
Academic Journal
In: Ada User Journal. (Ada User Journal, September 2022, 43(3):151-154)
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :112-119 Sep, 2015
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 18th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2023 and 10th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 23 April 2024, 402:4-17)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, November 2021, 58(3):375-398)
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:220-244)
Book
In: Intelligent Computer Mathematics - 17th International Conference, CICM 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14960 LNAI:127-145)
Book
In: Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14681 LNCS:203-218)
검색 결과 제한하기
제한된 항목
[AR] Rozier, K.Y.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어