학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 218건 | 목록 1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, April 2024, 26(2):147-168)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming. (Journal of Logical and Algebraic Methods in Programming, February 2024, 137)
Academic Journal
In: Current Directions in Biomedical Engineering. (Current Directions in Biomedical Engineering, 1 September 2023, 9(1):528-531)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, December 2022, 24(6):1043-1077)
Book
In: NASA Formal Methods - 16th International Symposium, NFM 2024, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14627 LNCS:279-297)
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:237-256)
Academic Journal
In: Theory and Practice of Logic Programming. (Theory and Practice of Logic Programming, 27 September 2022, 22(5):755-769)
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:69-76)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, October 2021, 58(1-2):160-187)
Conference
Eleventh Annual International Workshop on Software Technology and Engineering Practice Software technology and engineering practice Software Technology and Engineering Practice, 2003. Eleventh Annual International Workshop on. :225-233 2003
검색 결과 제한하기
제한된 항목
[AR] Leuschel, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어