http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
이 학술지의 논문 검색
Drusinsky, D. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.3-21
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Bensalem, S.; Bozga, M.; Krichen, M.; Tripakis, S. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.23-43
Deductive Runtime Certification
Arkoudas, K.; Rinard, M. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.45-63
Enforcing Concurrent Temporal Behaviors
Peled, D.; Qu, H. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.65-83
JVM Independent Replay in Java
Schuppan, V.; Baur, M.; Biere, A. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.85-104
Program Instrumentation and Run-Time Analysis of Scoped Memory in Java
Garbervetsky, D.; Nakhli, C.; Yovine, S.; Zorgati, H. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.105-121
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Sammapun, U.; Easwaran, A.; Lee, I.; Sokolsky, O. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.123-143
Monitoring Algorithms for Metric Temporal Logic Specifications
Thati, P.; Rosu, G. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.145-162
Runtime Refinement Checking of Concurrent Data Structures
Tasiran, S.; Qadeer, S. ELSEVIER SCIENCE B.V AMSTERDAM 2005 p.163-179