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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
21	Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implicatons	G.Chiola M.Ajmone Marsan;G.Balbo	IEEE computer society	1993

22	Resource Allocation for Primary-Side Fault-Tolerant Systems	Y.Huang S.K.Tripathi	IEEE computer society	1993

23	A Formal Analysis of the Fault-Detecting Ability of Testing Methods	P.G.Frankl E.J.Weyuker	IEEE computer society	1993

24	A Technique for Drawing Directed Graphs	E.R.Gansner E.Koutsofios S.C.North	IEEE computer society	1993

25	Proof Rules for Flush Channels	T.Camp P.Kearns M.Ahuja	IEEE computer society	1993

26	Repository Evaluation of Software Reuse	R.D.Banker R.J.Kauffman D.Zweig	IEEE computer society	1993

27	Compositional Semantics of a Real-Time Prototyping Language	B.Kramer Luqi V.Berzins	IEEE computer society	1993

28	Extending Typestate Checking Using Conditional Liveness Analysis	R.E.Strom D.M.Yellin	IEEE computer society	1993

29	Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System	P.Ramanathan K.G.Shin	IEEE computer society	1993

30	A Unified Interprocedural Program Representatin for a Maintenance Environment	M.J.Harrold B.Malloy	IEEE computer society	1993