학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 96건 | 목록 1~10
Academic Journal
IEEE Robotics and Automation Letters IEEE Robot. Autom. Lett. Robotics and Automation Letters, IEEE. 8(3):1595-1602 Mar, 2023
Conference
2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) Component-Based Software Engineering (CBSE), 2015 18th International ACM SIGSOFT Symposium on. :101-110 May, 2015
Conference
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06) Real-Time and Embedded Technology and Applications Symposium, 2006. Proceedings of the 12th IEEE. :253-266 2006
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :179-188 2006
Conference
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06) Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on. :291-300 2006
Conference
20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) Logic in computer science Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. :178-187 2005
Conference
Proceedings. 12th IEEE International Workshop on Program Comprehension, 2004. Program comprehension Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on. :251-255 2004
Conference
Proceedings. 26th International Conference on Software Engineering Software engineering Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :326-335 2004
Conference
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. Logic in computer science Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on. :160-169 2004
검색 결과 제한하기
제한된 항목
[AR] Henzinger, T.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어