http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
An Abstract Equivalence Notion for Object Models
Gheyi, R.; Massoni, T.; Borba, P. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-21
Memoryless Strategies for Stochastic Games via Domain Theory
Morgan, C.; McIver, A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.23-37
Formality, Evolution, and Model-driven Software Engineering
Davies, J.; Crichton, C.; Crichton, E.; Neilson, D.; Sorensen, I. H. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.39-55
Towards a Rigorous Approach to UML-Based Development
Liu, Z.; He, J.; Li, X. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.57-77
Complete Test Graph Synthesis For Symbolic Real-time Systems
Khoumsi, A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.79-100
A New Method for Transforming Timed Automata
Khoumsi, A.; Ouedraogo, L. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.101-128
Whats the Name of the Game? Formal Specification of Artificial Intelligence Games
Di Iorio, V.; Bigonha, R. S.; Bigonha, M. A.; Oliveira, A.; Miguel, E. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.129-150
Architectural Prototyping: From CCS to .Net
Rodrigues, N. F.; Barbosa, L. S. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.151-167
From Active Names to p-calculus Rewriting Rules
de Melo, A. C. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.169-185