http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O43143971
2004년
eng
1868-4238
1868-422X
SCOPUS
학술저널
INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING -PUBLICATIONS- IFIP; [NO] 150 2004
277-286 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
1402081480 (cased):; 1402081499 (e-book)
Working conference on distributed and parallel embedded systems; Design methods and applications for distributed embedded systems: IFIP 18th World Computer Congress: TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004)
Toulouse, France
2004; Aug
0
상세조회0
다운로드
MDA Platform for Complex Embedded Systems Development
On Detecting Deadlocks in Large UML Models
Verification Framework for UML-Based Design of Embedded Systems
LTL's Intutitive Representations and its Automaton Translation