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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
31	Reasoning About Places, Times, and Actions in the Presence of Mobility	C.D.wilcox G.-C.Roman	IEEE computer society	1996

32	A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria	H.Zhu	IEEE computer society	1996

33	An Analysis of the Intel 80×86 Security Architecture and Implementations	O.Sibert P.A.Porras R.Lindell	IEEE computer society	1996

34	On the Reliability of Electronic Payment Systems	R.J.Anderson S.J.Bezuidenhoudt	IEEE computer society	1996

35	Completeness and Consistency in Hierarchical State-Based Requirements	M.P.E.Heimdahl N.G.Leveson	IEEE computer society	1996

36	A Framework for Evaluating Specification Methods for Reactive Systems Experience Report	M.A.Ardis J.A.Chaves L.J.Jagadeesan	IEEE computer society	1996

37	Separate Computation of Alias Information for Reuse	M.J.Harrold G.Rothermel	IEEE computer society	1996

38	Timing Analysis of Ada Tasking Programs	J.C.Corbett	IEEE computer society	1996

39	Analyzing Regression Test Selection Techniques	G.Rothermel M.J.Harrold	IEEE computer society	1996

40	Theory of Fault-Based Predicate Testing for Computer Programs	K.-C.Tai	IEEE computer society	1996