학술논문
'학술논문'
에서 검색결과 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
Calcagno, C.; Distefano, D.; Dubreil, J.; Gabi, D.; Hooimeijer, P.; Luca, M.; O’Hearn, P.; Papakonstantinou, I.; Purbrick, J.; Rodriguez, D.
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)
주제어
언어