학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 55건 | 목록 1~10
Academic Journal
In: Proceedings of the National Academy of Sciences of the United States of America. (Proceedings of the National Academy of Sciences of the United States of America, 7 March 2023, 120(10))
Academic Journal
In: Science of Computer Programming. (Science of Computer Programming, 1 November 2022, 223)
Conference
In: CEUR Workshop Proceedings, FMDT 2023 - Proceedings of the Workshop on Applications of Formal Methods and Digital Twins, co-located with 25th International Symposium on Formal Methods, FM 2023. (CEUR Workshop Proceedings, 2023, 3507)
Academic Journal
In: Proceedings of the National Academy of Sciences of the United States of America. (Proceedings of the National Academy of Sciences of the United States of America, 2023, 120(40))
Academic Journal
In: Journal of Ambient Intelligence and Smart Environments. (Journal of Ambient Intelligence and Smart Environments, 2017, 9(1):77-95)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13701 LNCS:188-204)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13704 LNCS:71-88)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13360 LNCS:437-445)
Book
In: Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications AINA-2022. (Lecture Notes in Networks and Systems, 2022, 451 LNNS:141-152)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, 8 August 2015, 84(1):67-91)
검색 결과 제한하기
제한된 항목
[AR] Schlatte, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어