대구한의대학교 향산도서관

선택목록저장

검색간략리스트

저널기사
Programming and Verifying Real-Time Systems by Means of the Synchronous Dataflow Language LUSTRE / N.Halbwachs F.Lagnier C.Ratel / IEEE computer society / IEEE Transactions on software engineering / 1992 /
항목 :