학술논문
'학술논문'
에서 검색결과 32건 | 목록
1~10
Academic Journal
In: International Journal on Software Tools for Technology Transfer . (International Journal on Software Tools for Technology Transfer, April 2023, 25(2):205-218)
Academic Journal
In: Formal Methods in System Design . (Formal Methods in System Design, December 2021, 59(1-3):170-204)
Academic Journal
In: Padiatrische Praxis . (Padiatrische Praxis, 2021, 95(2):187-197)
Academic Journal
Otte, J-M.; Schwenger, M.; Brunke, G.; Sparmann, G.; Emmrich, J.; Schmitz, F.; Fölsch, U. R.; Herzig, K.-H.
Book
In: Bionanotechnology: Emerging Applications of Bionanomaterials . (Bionanotechnology: Emerging Applications of Bionanomaterials, 1 January 2022, :357-397)
Conference
In: MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things , MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things. (MCPS 2021 - Proceedings of the 2021 Medical Cyber Physical Systems and Internet of Medical Things, 18 May 2021, :17-22)
Book
In: Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12652 LNCS:365-372)
Conference
In: HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week , HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week. (HSCC 2020 - Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control ,part of CPS-IoT Week, 22 April 2020)
Book
In: Runtime Verification - 20th International Conference, RV 2020, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12399 LNCS:451-461)
검색 결과 제한하기
제한된 항목
[AR] Schwenger, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어