학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, October 2023, 22(5):1645-1663)
Conference
In: Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022, Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022. (Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022, 29 November 2022, :63-79)
Book
In: Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13487 LNCS:155-171)
Conference
In: 2020 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020, 2020 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020. (2020 12th International Symposium on Communication Systems, Networks and Digital Signal Processing, CSNDSP 2020, 20 July 2020)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings of the 2nd Workshop on Verification of Objects at RunTime EXecution, VORTEX 2018. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 27 August 2019, 302:16-31)
Book
In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11724 LNCS:145-161)
Conference
In: Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. (Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018, 14 November 2018, :75-84)
검색 결과 제한하기
제한된 항목
[AR] Costa Seco, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어