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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
21	Data-Driven Parallel Production Systems	J.-L.Gaudiot A.Sohn	IEEE computer society	1990

22	TuringTool: A User Interface to Aid in the Software Maintenance Task	J.R.Cordy N.L.Eliot M.G.Robertson	IEEE computer society	1990

23	STATEMATE: A Working Environment for the Development of Complex Reactive Systems	D.Harel H.Lachover A.Naamad	IEEE computer society	1990

24	Optimal Distributed t-Resilient Election in Complete Networks	A.Itai S.Kutten Y.Wolfstahl	IEEE computer society	1990

25	Software Size Estimation of Object-Oriented Systems	L.A.Laranjeira	IEEE computer society	1990

26	A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets	T.Suzuki S.M.Shatz T.Murata	IEEE computer society	1990

27	On the Identification of Covert Storage Channels in Secure Systems	C.-R.Tsai V.D.Gligor C.S.Chandersekaran	IEEE computer society	1990

28	A Specification and Verification Method for Preventing Denial of Service	C.-F.Yu V.D.Gligor	IEEE computer society	1990

29	Module Allocation of Real-Time Applications to Distributed Systems	C.E.Houstis	IEEE computer society	1990

30	Implementing Remote Evaluation	J.W.Stamos D.K.Gifford	IEEE computer society	1990