http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O44389509
2005년
fre
1269-6935
2116-7087
SCOPUS
학술저널
JOURNAL EUROPEEN DES SYSTEMES AUTOMATISES
1099-1132 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
Stabilisation par retour de sortie dynamique et specifications temporelles. Approche LMI
Stabilisation d'un actionneur electrohydraulique en considerant les dynamiques des distributeurs
Verification de modeles de processus d'entreprise. Une approche formelle
Verification of an evaporator system with Uppaal