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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총 659건 중 500건 출력
7/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
61.
기사제목
Pre-Run-Time Scheduling to Reduce Schedule Length in the fieldBus Environment  미리보기
기사저자명
S.Cavalieri A.Di Stefano O.Mirabella
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
62.
기사제목
Introduction to the Special Section  미리보기
기사저자명
H.E.Bal B.Belkhouche M.L.Soffa
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
63.
기사제목
Towards a Framework for Software Measurement Validation  미리보기
기사저자명
B.Kitchenham S.L.Pfleeger N.Fenton
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
64.
기사제목
Integrating Time Domain and Input Domain Analyses of Software Reliability Using Tree-Based Models  미리보기
기사저자명
J.Tian
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
65.
기사제목
Prudent Engineering Practice for Cryptographic Protocols  미리보기
기사저자명
M.Abadi R.Needham
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
66.
기사제목
A Model for Secure Protocols and Their Compositions  미리보기
기사저자명
N.Heintze J.D.Tygar
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
67.
기사제목
On the Use of Testability Measures for Dependability Assessment  미리보기
기사저자명
A.Bertolino L.Strigini
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
68.
기사제목
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing  미리보기
기사저자명
T.Y.Chen Y.T.Yu
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
69.
기사제목
Evaluating Deadlock Detection Methods for Concurrent Software  미리보기
기사저자명
J.C.Corbett
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
70.
기사제목
Automatic Symbolic Verification of Embedded Systems  미리보기
기사저자명
R.Alur T.A.Henzinger P.-H.Ho
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 10 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.