학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 67건 | 목록 1~10
Conference
2015 11th European Dependable Computing Conference (EDCC) Dependable Computing Conference (EDCC), 2015 Eleventh European. :13-24 Sep, 2015
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
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)
주제어
언어