학술논문
'학술논문'
에서 검색결과 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
König, L.; Heinzemann, C.; Klauck, M.; Küperkoch, S.; Hanselmann, M.; Griggio, A.; Cimatti, A.; Tonetta, S.; Henze, F.; Fassbender, D.
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
Chiappini, A.; Cimatti, A.; Macchi, L.; Rebollo, O.; Roveri, M.; Susi, A.; Tonetta, S.; Vittorini, B.
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)
주제어
언어