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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총 83건 중 83건 출력
3/9 페이지 엑셀파일 출력
제한항목
1995 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
21.
기사제목
Pre-Run-Time Scheduling to Reduce Schedule Length in the fieldBus Environment  미리보기
기사저자명
S.Cavalieri A.Di Stefano O.Mirabella
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
22.
기사제목
Introduction to the Special Section  미리보기
기사저자명
H.E.Bal B.Belkhouche M.L.Soffa
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
23.
기사제목
Towards a Framework for Software Measurement Validation  미리보기
기사저자명
B.Kitchenham S.L.Pfleeger N.Fenton
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
24.
기사제목
Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models  미리보기
기사저자명
J.Tian
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
25.
기사제목
Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specification  미리보기
기사저자명
J.P.Tsai S.J.Yang Y.-H.Chang
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
26.
기사제목
Hierarchical Modeling of Availiability in Distributed Systems  미리보기
기사저자명
S.Hariri H.Mutlu
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
27.
기사제목
Invariants, Frames, and Postconditions: A Comparison of the VDM and B Notations  미리보기
기사저자명
J.Bicarregui B.Ritchie
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
28.
기사제목
Formal Methods Reality Check: Industrial Usage  미리보기
기사저자명
D.Craigen S.Gerhart T.Ralston
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
29.
기사제목
Approximate Analysis of Reader/Writer Queues  미리보기
기사저자명
T.Johnson
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
30.
기사제목
Optimal Test Distributions for Software Failure Cost Estimation  미리보기
기사저자명
W.J.Gutjahr
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.