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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
31	Data Structures for Parallel Resource Management	J.Biswas J.C.Browne	IEEE computer society	1993

32	On Some Reliability Estimation Problems in Random and Partition Testing	M.Z.Tsoukalas J.W.Duran S.C.Ntafos	IEEE computer society	1993

33	An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing	P.G.Frankl S.N.Weiss	IEEE computer society	1993

34	Specification and Analysis of Real-time Problem Solvers	B.Hamidzadeh S.Shekhar	IEEE computer society	1993

35	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	1993

36	Statistical Foundations of Audit Trail Analysis for the Detection of Computer Misuse	P.Helman G.Liepins	IEEE computer society	1993

37	Provable Improvements on Branch Testing	P.G.Frankl E.J.Weyuker	IEEE computer society	1993

38	Meet Real-Time Requirements of Parallel Programs and Maximally Utilize System Resources	B.Qin	IEEE computer society	1993

39	Assessing Software Designs Using Capture-Recapture Methods	S.A.Vander Wiel;L.G.Votta	IEEE computer society	1993

40	In-Process Evaluation for Software Inspection and Test	J.K.Chaar M.J.Halliday I.S.Bhandari	IEEE computer society	1993