학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Academic Journal
In: Service Oriented Computing and Applications . (Service Oriented Computing and Applications, September 2022, 16(3):209-225)
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, 1 December 2019, 21(6):613-633)
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, August 2019, 106:1-28)
Academic Journal
In: Journal of Systems and Software . (Journal of Systems and Software, March 2019, 149:535-553)
Academic Journal
In: Science of Computer Programming . (Science of Computer Programming, 1 March 2019, 172:27-47)
Conference
In: ACM International Conference Proceeding Series , Proceedings of the 24th ACM Conference on Systems and Software Product Line, SPLC 2020. (ACM International Conference Proceeding Series, 19 October 2020, Part F164267-A:47-52)
Book
In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12477 LNCS:55-71)
Book
In: Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12054 LNCS:3-18)
Book
In: Formal Aspects of Component Software - 16th International Conference, FACS 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12018 LNCS:147-169)
Conference
In: GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018 , GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018. (GPCE 2018 - Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2018, 5 November 2018, :119-133)
검색 결과 제한하기
제한된 항목
[AR] Luthmann, L.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어