학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 7건 | 목록 1~10
Conference
Dependable Computing for Critical Applications 7 Dependable computing for critical applications Dependable Computing for Critical Applications 7, 1999. :287-300 1999
Academic Journal
In: Journal of Functional Programming. (Journal of Functional Programming, January 2008, 18(1):15-46)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS, Proceedings 12th International Workshop on the ACL2 Theorem Prover and Its Applications, ACL2 2014. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 4 June 2014, 152:163-177)
Book
In: Design and Verification of Microprocessor Systems for High-Assurance Applications. (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010, :249-299)
Book
In: Design and Verification of Microprocessor Systems for High-Assurance Applications. (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010, :381-428)
Book
In: Design and Verification of Microprocessor Systems for High-Assurance Applications. (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010, :175-191)
Book
In: Formal Methods in Computer-Aided Design - 2nd International Conference, FMCAD 1998, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1998, 1522:321-333)
검색 결과 제한하기
제한된 항목
[AR] Greve, D.A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어