http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
A Comparative Study of Industrial Static Analysis Tools
Emanuelsson, P.; Nilsson, U. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.5-21
Pervasive Compiler Verification - From Verified Programs to Verified Systems
Leinenbach, D.; Petrova, E. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.23-40
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code
Tews, H.; Weber, T.; Volp, M. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.79-96
Specification of Conditions for Error Diagnostics
Efkemann, C.; Hartmann, T. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.97-112
Symbolic and Abstract Interpretation for C/C++ Programs
Loding, H.; Peleska, J. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.113-131
Proving Correctness of an Efficient Abstraction for Interrupt Handling
Herberich, G.; Schlich, B.; Weise, C.; Noll, T. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.133-150
CVM - A Verified Framework for Microkernel Programmers
In der Rieden, T.; Tsyban, A. ELSEVIER SCIENCE B.V AMSTERDAM 2008 p.151-168