학술논문
'학술논문'
에서 검색결과 161건 | 목록
30~40
Conference
In: Proceedings -Design, Automation and Test in Europe, DATE , 2023 Design, Automation and Test in Europe Conference and Exhibition, DATE 2023 - Proceedings. (Proceedings -Design, Automation and Test in Europe, DATE, 2023, 2023-April)
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, 13994 LNCS:3-10)
Book
In: Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Revised Selected Papers . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13800 LNCS:VI)
Conference
In: Leibniz International Proceedings in Informatics, LIPIcs , 29th International Symposium on Temporal Representation and Reasoning, TIME 2022. (Leibniz International Proceedings in Informatics, LIPIcs, 1 November 2022, 247:VII)
Conference
In: Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022 , Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022. (Proceedings - 25th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2022, 23 October 2022, :379-389)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 February 2018, 52(1):88-116)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, 1 December 2016, 49(3):190-218)
Book
Bombardelli, A.; Bozzano, M.; Cavada, R.; Cimatti, A.; Griggio, A.; Nazaria, M.; Nicolodi, E.; Tonetta, S.
In: Model-Based Safety and Assessment - 8th International Symposium, IMBSA 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13525 LNCS:21-27)
Conference
In: CEUR Workshop Proceedings , SMT 2022 - Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories, co-located with the 11th International Joint Conference on Automated Reasoning, IJCAR 2022 - part of the 8th Federated Logic Conference, FLoC 2022. (CEUR Workshop Proceedings, 2022, 3185:80-89)
Book
In: NASA Formal Methods - 14th International Symposium, NFM 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13260 LNCS:508-526)
검색 결과 제한하기
제한된 항목
[AR] Tonetta, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어