학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 139건 | 목록 1~10
Academic Journal
ACM Transactions on Embedded Computing Systems; Sep2024, Vol. 23 Issue 5, p1-28, 28p
Conference
2020 Forum for Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2020 Forum for. :1-8 Sep, 2020
Academic Journal
ACM Transactions on Embedded Computing Systems. 22(5s):1-26
Conference
2018 Forum on Specification & Design Languages (FDL) Specification & Design Languages (FDL), 2018 Forum on. :5-16 Sep, 2018
Conference
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-11 Sep, 2017
Conference
2017 Forum on Specification and Design Languages (FDL) Specification and Design Languages (FDL), 2017 Forum on. :1-8 Sep, 2017
Conference
2016 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2016. :9-16 Oct, 2016
검색 결과 제한하기
제한된 항목
[AR] Pouzet, Marc
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어