학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 8건 | 목록 1~10
Conference
In: CEUR Workshop Proceedings, AISafety 2022 - Proceedings of the Workshop on Artificial Intelligence Safety 2022 - co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, IJCAI-ECAI-2022. (CEUR Workshop Proceedings, 2022, 3215)
Book
In: NASA Formal Methods - 8th International Symposium, NFM 2016, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9690:49-64)
Conference
In: European Space Agency, (Special Publication) ESA SP, Proceedings of DASIA 2015 - DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP, 1 September 2015, SP-732)
Conference
In: European Space Agency, (Special Publication) ESA SP, Proceedings of DASIA 2015 - DAta Systems In Aerospace. (European Space Agency, (Special Publication) ESA SP, 1 September 2015, SP-732)
Conference
In: 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings, 2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings. (2015 10th IEEE International Symposium on Industrial Embedded Systems, SIES 2015 - Proceedings, 10 August 2015, :39-48)
Academic Journal
In: Ada User Journal. (Ada User Journal, 2016, 37(4):213-214)
검색 결과 제한하기
제한된 항목
[AR] Conmy, P.R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어