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

선택목록저장

검색간략리스트

저널기사
Specifying and Verifying Requirement of Real-Time Systems / A.P.Ravn H.Rischel K.M.Hansen / IEEE computer society / IEEE Transactions on software engineering / 1993 /
항목 :