학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 49건 | 목록 20~30
Conference
2011 22nd IEEE International Symposium on Rapid System Prototyping (RSP); 2011, p121-127, 7p
Conference
2010 IEEE Aerospace Conference; 2010, p1-7, 7p
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p18-27, 10p
Conference
In: AIAA Scitech 2019 Forum, AIAA Scitech 2019 Forum. (AIAA Scitech 2019 Forum, 2019)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2000, 2(4):366-381)
Conference
In: AIAA Information Systems-AIAA Infotech at Aerospace, 2018, AIAA Information Systems-AIAA Infotech at Aerospace, 2018. (AIAA Information Systems-AIAA Infotech at Aerospace, 2018, 1 January 2018)
Conference
In: AIAA Guidance, Navigation, and Control (GNC) Conference, AIAA Guidance, Navigation, and Control (GNC) Conference. (AIAA Guidance, Navigation, and Control (GNC) Conference, 2013)
Book
In: NASA Formal Methods - 4th International Symposium, NFM 2012, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7226 LNCS:267-272)
Conference
In: Proceedings - International Conference on Software Engineering, Proceedings of the 2006 International Workshop on Software Technology Transfer in Software Engineering, TT '06, Co-located with the 28th International Conference on Software Engineering, ICSE 2006. (Proceedings - International Conference on Software Engineering, 2006, :43-47)
검색 결과 제한하기
제한된 항목
[AR] Pressburger, T.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어