학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 29건 | 목록 1~10
Report
Math. Struct. Comp. Sci. 25 (2015) 361-403
Academic Journal
In: Discrete Event Dynamic Systems: Theory and Applications. (Discrete Event Dynamic Systems: Theory and Applications, 1 March 2018, 28(1):83-108)
Academic Journal
In: Mathematical Structures in Computer Science. (Mathematical Structures in Computer Science, 19 February 2015, 25(2):361-403)
Academic Journal
In: Information Psychiatrique. (Information Psychiatrique, September 2012, 88(7):521-526)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, February 2012, 40(1):41-87)
Academic Journal
In: Software and Systems Modeling. (Software and Systems Modeling, February 2011, 10(1):117-142)
Conference
In: IEEE International Conference on Communications, 2017 IEEE International Conference on Communications, ICC 2017. (IEEE International Conference on Communications, 28 July 2017)
Conference
2010 17th International Symposium on Temporal Representation & Reasoning (TIME); 2010, p69-76, 8p
Conference
2010 Seventh International Conference on the Quantitative Evaluation of Systems (QEST); 2010, p263-272, 10p
검색 결과 제한하기
제한된 항목
[AR] Sassolas, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어