학술논문
'학술논문'
에서 검색결과 123건 | 목록
1~10
Report
The Art, Science, and Engineering of Programming, 2019, Vol. 3, Issue 3, Article 7
Academic Journal
ACM SIGAda Ada Letters. 40(2):51-54
Conference
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE) High Assurance Systems Engineering (HASE), 2016 IEEE 17th International Symposium on. :238-239 Jan, 2016
Conference
2015 IEEE Real-Time Systems Symposium Real-Time Systems Symposium, 2015 IEEE. :374-374 Dec, 2015
Conference
2008 IEEE Conference on Technologies for Homeland Security Technologies for Homeland Security, 2008 IEEE Conference on. :173-175 May, 2008
Conference
Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology. :87-96
검색 결과 제한하기
제한된 항목
[AR] Taft, S. Tucker
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어