학술논문
'학술논문'
에서 검색결과 9건 | 목록
1~10
Conference
2016 IEEE 29th Computer Security Foundations Symposium (CSF) Computer Security Foundations Symposium (CSF), 2016 IEEE 29th. :253-267 Jun, 2016
Book
Deductive Software Verification - The KeY Book; 2016, p593-607, 15p
Book
Grahl, Daniel; Bubel, Richard; Mostowski, Wojciech; Schmitt, Peter H.; Ulbrich, Mattias; Weiß, Benjamin
Deductive Software Verification - The KeY Book; 2016, p289-351, 63p
Book
Deductive Software Verification - The KeY Book; 2016, p243-287, 45p
Book
Deductive Software Verification - The KeY Book; 2016, p193-241, 49p
Book
Leveraging Applications of Formal Methods, Verification & Validation: Foundational Techniques; 2016, p749-765, 17p
Book
Dependable Software Engineering: Theories, Tools & Applications (9783319476766); 2016, p101-117, 17p
Conference
Grahl, Daniel (D-KIT-NDM) AMS Author Profile
검색 결과 제한하기
제한된 항목
[AR] Grahl, Daniel
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어