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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
361	Adaptive Location Policies for Global Scheduling	P.Krueger N.G.Shivaratri	IEEE computer society	1994

362	QDA- A Method For Systematic Informal Program Analysis	W.E.Howden B.Wieand	IEEE computer society	1994

363	Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets	G.franceschinis R.R.Muntz	IEEE computer society	1994

364	Approximate Throughput Computation of Stochastic Marked Graphs	J.Campos J.M.Colom H.Jungnitz	IEEE computer society	1994

365	Inconsistency Handling in Multiperspective Specifications	A.Finkelstein D.Gabbay A.Hunter	IEEE computer society	1994

366	Tractable Dataflow Analysis for Distributed Systems	S.C.Cheung J.Kramer	IEEE computer society	1994

367	Requirements Specification for Process-Control Systems	N.G.Leveson M.P.E.Heimdahl H.Hildreth	IEEE computer society	1994

368	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems	G.S.Avrunin J.C.Corbett L.K.Dillon	IEEE computer society	1994

369	Prototyping a Process Monitoring Experiment	M.G.Bradac D.E.Perry L.G.Votta	IEEE computer society	1994

370	How Accurate Is Scientific Software	L.Hatton A.Roberts	IEEE computer society	1994