학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 161건 | 목록 10~20
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, June 2022, 60(3):452-481)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, April 2022, 60(2):277-324)
Conference
2015 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2015. :112-119 Sep, 2015
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:170-181)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14571 LNCS:44-65)
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:302-320)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, August 2021, 57(2):178-210)
Conference
2010 ACM/IEEE 32nd International Conference on Software Engineering Software Engineering, 2010 ACM/IEEE 32nd International Conference on. 2:109-118 May, 2010
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings - 5th International Workshop on Formal Methods for Autonomous Systems, FMAS 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 15 November 2023, 395:113-129)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, 2021)
검색 결과 제한하기
제한된 항목
[AR] Tonetta, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어