학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Conference
2020 23rd Euromicro Conference on Digital System Design (DSD) Digital System Design (DSD), 2020 23rd Euromicro Conference on. :352-359 Aug, 2020
Academic Journal
In: Ada User Journal. (Ada User Journal, June 2023, 44(2):146-151)
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, February 2021, 23(1):1-29)
Academic Journal
In: Numerical Algebra, Control and Optimization. (Numerical Algebra, Control and Optimization, June 2020, 10(2):177-206)
Academic Journal
In: Electronic Communications of the EASST. (Electronic Communications of the EASST, 2020, 79:1-9)
Conference
In: Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023, Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023. (Proceedings - 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops Volume, DSN-W 2023, 2023, :243-250)
Book
In: Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020, 12234 LNCS:115-129)
Conference
In: Proceedings of the IEEE Conference on Decision and Control, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. (Proceedings of the IEEE Conference on Decision and Control, December 2019, 2019-December:8073-8078)
Book
In: FM 2016: Formal Methods - 21st International Symposium, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2016, 9995 LNCS:291-309)
검색 결과 제한하기
제한된 항목
[AR] Giantamidis, G.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어