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

선택목록저장

검색간략리스트

저널기사
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-time Systems.: / Tsai, Jeffrey J.P.;Juan, Eric Y.T.;Sahay, Avinash; / IEEE Computer Society / IEEE transactions on knowledge and data engineering / 2003 /
항목 :