학술논문
'학술논문'
에서 검색결과 364건 | 목록
1~10
Conference
In: HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week , HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. (HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week, 14 May 2024)
Conference
2016 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2016 Forum on. :1-8 Sep, 2016
Conference
Aleksandrowicz, G.; Arbel, E.; Bloem, R.; Ter Braak, T.; Devadze, S.; Fey, G.; Jenihhin, M.; Jutman, A.; Kerkhoff, H.G.; Konighofer, R.; Malburg, J.; Moran, S.; Raik, J.; Rauwerda, G.; Riener, H.; Rock, F.; Shibin, K.; Sunesen, K.; Wan, J.; Zhao, Y.
2016 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2016 Forum on. :1-8 Sep, 2016
Conference
2016 International Workshop on Tracking, Telemetry and Command Systems for Space Applications (TTC) Tracking, Telemetry and Command Systems for Space Applications (TTC), International Workshop on. :1-8 Sep, 2016
Conference
2016 1st IEEE International Verification and Security Workshop (IVSW) Verification and Security Workshop (IVSW), IEEE International. :1-6 Jul, 2016
Conference
2016 17th Latin-American Test Symposium (LATS) Test Symposium (LATS), 2016 17th Latin-American. :14-19 Apr, 2016
Conference
Proceedings of the 2014 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2014 Forum on. 978-2-9530504-9-3:1-6 Oct, 2014
Conference
In: MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop , MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop. (MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop, 2024, :106-109)
Academic Journal
In: Sante Publique . (Sante Publique, 2022, 34(5):709-716)
Academic Journal
In: Metals . (Metals, July 2021, 11(7))
검색 결과 제한하기
제한된 항목
[AR] Fey, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어