학술논문
'학술논문'
에서 검색결과 67건 | 목록
1~10
Conference
Derrien, Steven; Puaut, Isabelle; Alefragis, Panayiotis; Bednara, Marcus; Bucher, Harald; David, Clement; Debray, Yann; Durak, Umut; Fassi, Imen; Ferdinand, Christian; Hardy, Damien; Kritikakou, Angeliki; Rauwerda, Gerard; Reder, Simon; Sicks, Martin; Stripf, Timo; Sunesen, Kim; ter Braak, Timon; Voros, Nikolaos; Becker, Jurgen
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017. :286-289 Mar, 2017
Conference
2015 11th European Dependable Computing Conference (EDCC) Dependable Computing Conference (EDCC), 2015 Eleventh European. :13-24 Sep, 2015
Academic Journal
In Science of Computer Programming 1999 35(2):163-189
Conference
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC) Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on. :340-345 May, 2008
Conference
Ferdinand, Christian; Heckmann, Reinhold; Wolff, Hans-Jörg; Renz, Christian; Gupta, Manabendra; Parshin, Oleg
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) Leveraging Applications of Formal Methods, Verification and Validation, 2006. ISoLA 2006. Second International Symposium on. :220-226 Nov, 2006
Report
Dans Design, Automation and Test in Europe - DATE'05, Munich : Allemagne (2005)
Book
Reliability, Safety & Security of Railway Systems. Modelling, Analysis, Verification & Certification; 2016, p191-202, 12p
Conference
Proceedings of the ACM SIGPLAN 1999 workshop on Languages, compilers, and tools for embedded systems. :35-44
Academic Journal
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems. 3(4):27-36
Book
Computer Safety, Reliability & Security: 33rd International Conference, SAFECOMP 2014, Florence, Italy, September 10-12, 2014. Proceedings; 2014, p202-213, 12p
검색 결과 제한하기
제한된 항목
[AR] Ferdinand, Christian
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어