KOR

e-Article

Publication date
-
(ex : 2010-2015)
'e-Article' searched 288results | List 1~10
Academic Journal
In: Journal of Systems and Software. (Journal of Systems and Software, May 2024, 211)
Academic Journal
IEEE Design & Test IEEE Des. Test Design & Test, IEEE. 39(1):49-56 Feb, 2022
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, December 2023, 25(5-6):625-639)
Academic Journal
In: ACM Transactions on Embedded Computing Systems. (ACM Transactions on Embedded Computing Systems, 18 April 2023, 22(3))
Academic Journal
In: Information Sciences. (Information Sciences, April 2023, 621:844-857)
Academic Journal
In: Theoretical Computer Science. (Theoretical Computer Science, 9 January 2023, 940:146-175)
Academic Journal
In: Journal of Systems Architecture. (Journal of Systems Architecture, April 2022, 125)
Academic Journal
Proceedings of the IEEE Proc. IEEE Proceedings of the IEEE. 103(11):2093-2103 Nov, 2015
Conference
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on. :11-20 Jul, 2011
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, October 2021, 23(5):701-719)
Refining the search results
Facets
[AR] Sifakis, J.
Publication year
-
Database provider
Title
Publisher
자료유형(Source Type)
Subject
Language