학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 9건 | 목록 1~10
Academic Journal
IEEE Transactions on Automatic Control IEEE Trans. Automat. Contr. Automatic Control, IEEE Transactions on. 55(5):1089-1100 May, 2010
Academic Journal
In: Environnement, Risques et Sante. (Environnement, Risques et Sante, September-October 2016, 15(5):426-433)
Academic Journal
In: Formal Methods in System Design. (Formal Methods in System Design, February 2012, 40(1):88-115)
Conference
2008 9th International Workshop on Discrete Event Systems; 2008, p28-35, 8p
Book
In: NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2015, 9058:3-11)
Conference
In: 2009 European Control Conference, ECC 2009. (2009 European Control Conference, ECC 2009, 26 March 2014, :2584-2589)
Conference
In: IFAC Proceedings Volumes (IFAC-PapersOnline), Proceedings - WODES 2010: 10th International Workshop on Discrete Event Systems. (IFAC Proceedings Volumes (IFAC-PapersOnline), 2010, 10(PART 1):418-425)
Book
In: Testing of Software and Communication Systems - 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5826 LNCS:113-128)
Book
In: Automated Technology for Verification and Analysis - 7th International Symposium, ATVA 2009, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2009, 5799 LNCS:352-367)
검색 결과 제한하기
제한된 항목
[AR] Dubreil, J.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어