학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 26건 | 목록 1~10
Book
(VDI Berichte, 2003, (1789):2091-2107)
Conference
Second International Symposium on Leveraging Applications of Formal Methods, Verification & Validation (ISOLA 2006); 2006, p75-81, 7p
Book
In: Automotive Embedded Systems Handbook. (Automotive Embedded Systems Handbook, 1 January 2017, :11-42)
Conference
In: Tagungsband - Dagstuhl-Workshop MBEES 2014: Modellbasierte Entwicklung Eingebetteter Systeme X, Tagungsband - Dagstuhl-Workshop MBEES 2014: Modellbasierte Entwicklung Eingebetteter Systeme X. (Tagungsband - Dagstuhl-Workshop MBEES 2014: Modellbasierte Entwicklung Eingebetteter Systeme X, 2014, :86-96)
Conference
In: Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, MBEES 2009, Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, MBEES 2009. (Tagungsband - Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme V, MBEES 2009, 2009, :171-181)
Book
In: Model-Driven Development of Reliable Automotive Services - Second Automotive Software Workshop, ASWSD 2006, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008, 4922 LNCS:98-117)
검색 결과 제한하기
제한된 항목
[AR] Fey, I.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어