학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 159건 | 목록 30~40
Academic Journal
Fundamenta Informaticae. 2014, Vol. 129 Issue 1-2, p85-100. 16p.
Academic Journal
International Journal of Control. Sep2019, Vol. 92 Issue 9, p2025-2036. 12p.
Academic Journal
FUNDAMENTA INFORMATICAE; 2021, 182 1, p69-p94, 26p.
Book
Formal Modeling & Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings; 2016, p19-34, 16p
Book
Verification, Model Checking & Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings; 2016, p372-390, 19p
Book
Application & Theory of Petri Nets & Concurrency (9783319390857); 2016, p261-280, 20p
Book
Formal Methods & Software Engineering (9783319478456); 2016, p400-416, 17p
Book
Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings; 2015, p7-19, 13p
검색 결과 제한하기
제한된 항목
[AR] Lime, Didier
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어