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

바구니

검색간략리스트

1.
저널기사
Analysis of Real-Time Rule-Based Systems with Behavioral Constraint Assertions Specified in Estella / A.M.K.Cheng J.C.Browne A.K.Mok / IEEE computer society / IEEE Transactions on software engineering / 1993 /