e-Article
'e-Article'
searched 288results | List
1~10
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