학술논문
'학술논문'
에서 검색결과 38건 | 목록
1~10
Conference
Cortes, David; Ortiz, James; Basile, Davide; Aranda, Jesus; Perrouin, Gilles; Schobbens, Pierre-Yves
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :44-54 Apr, 2024
Academic Journal
Amorim, Junier Caminha; Rocha, Eduardo Lemos; Minardi, Luigi; Alves, Vander; de Freitas, Edison Pignaton; Castro, Thiago; Amrani, Moussa; Ortiz, James; Schobbens, Pierre-Yves; Perrouin, Gilles
In Expert Systems With Applications 15 April 2023 216
Conference
Cuartas, Jaime; Aranda, Jesus; Cordy, Maxime; Ortiz, James; Perrouin, Gilles; Schobbens, Pierre-Yves
2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ICSTW Software Testing, Verification and Validation Workshops (ICSTW), 2023 IEEE International Conference on. :52-61 Apr, 2023
Academic Journal
Book
On the Move to Meaningful Internet Systems: OTM 2014 Workshops; 2014, p319-328, 10p
Academic Journal
검색 결과 제한하기
제한된 항목
[AR] Ortiz, James
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어