http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O40978015
2004년
eng
0163-5948
1943-5843
학술저널
SOFTWARE ENGINEERING NOTES
119-128 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Automating Commutativity Analysis at the Design Level
Modeling and Verification of an Air Traffic Concept of Operations
An Optimizing Compiler for Batches of Temporal Logic Formulas
Active Learning for Automatic Classification of Software Behavior