학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 32건 | 목록 1~10
Conference
2014 IEEE Computer Society Annual Symposium on VLSI VLSI (ISVLSI), 2014 IEEE Computer Society Annual Symposium on. :100-105 Jul, 2014
Academic Journal
Discrete Event Dynamic Systems; Mar2022, Vol. 32 Issue 1, p27-64, 38p
Academic Journal
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS; SEP 8 2021, 38p.
Academic Journal
IEEE Transactions on Industrial Informatics; Aug2015, Vol. 11 Issue 4, p897-906, 10p
Book
Formal Methods for Industrial Critical Systems (9783642410093); 2013, p94-107, 14p
검색 결과 제한하기
제한된 항목
[AR] Leroux, Hélène
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어