학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Conference
2021 20th International Conference on Advanced Robotics (ICAR) Advanced Robotics (ICAR), 2021 20th International Conference on. :670-675 Dec, 2021
Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability
Conference
Rathmair, Michael; Luckeneder, Christoph; Haspl, Thomas; Reiterer, Berhnard; Hoch, Ralph; Hofbaur, Michael; Kaindl, Hermann
2021 30th IEEE International Conference on Robot & Human Interactive Communication (RO-MAN) Robot & Human Interactive Communication (RO-MAN), 2021 30th IEEE International Conference on. :1283-1288 Aug, 2021
Academic Journal
e & i Elektrotechnik und Informationstechnik; Oct2023, Vol. 140 Issue 6, p551-561, 11p
Academic Journal
Fischer, Clara; Neuhold, Michael; Steiner, Martin; Haspl, Thomas; Rathmair, Michael; Schlund, Sebastian
검색 결과 제한하기
제한된 항목
[AR] Haspl, Thomas
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어