학술논문
'학술논문'
에서 검색결과 8건 | 목록
1~10
Academic Journal
McDermid, J.A.; Calinescu, R.; Habli, I.; Hawkins, R.; Jia, Y.; Molloy, J.; Osborne, M.; Paterson, C.; Porter, Z.; Conmy, P.R.
Computer. 57(4):16-25 Apr, 2024
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)
Periodical
In: Computer . (Computer, September 2019, 52(9):82-89)
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
Conmy, P.R.; Pearce, M.; Ziccardi, M.; Mezzetti, E.; Vardanega, T.; Anderson, J.; Gianarro, A.; Hernandez, C.; Cazorla, F.J.
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
Abella, J.; Hernandez, C.; Quinones, E.; Cazorla, F.J.; Conmy, P.R.; Azkarate-Askasua, M.; Perez, J.; Mezzetti, E.; Vardanega, T.
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)
주제어
언어