학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 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
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)
주제어
언어