http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Berg, T.; Jonsson, B.; Leucker, M.; Saksena, M. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-18
A Denotational Approach to the Static Analysis of Cryptographic Processes
Aziz, B.; Hamilton, G. W.; Gray, D. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.19-36
Verification of Scenario-based Specifications using Templates
Palshikar, G. K.; Bhaduri, P. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.37-55
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Gnesi, S.; Lenzini, G.; Martinelli, F. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.57-70
Verifying a UMTS Protocol Using Spin and EASN
Luukkainen, M.; Shanbhag, V. K.; Gopinath, K. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.71-85
Provably Correct Code Generation: A Case Study
Wang, Q.; Gupta, G. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.87-109
Compositional Properties of Sequential Processes
Zhan, N. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.111-128
A Trace Logic for Local Security Properties
Corin, R.; Etalle, S.; Hartel, P.; Durante, A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.129-143
Equational Abstractions for Model Checking Erlang Programs
Noll, T. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.145-162