서브메뉴
검색
소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성
소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성
Detailed Information
- 자료유형
- 기사
- ISSN
- 15982866
- 서명/저자
- 소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성 / 이태훈 ( Tae Hoon Lee ) , 권기현 ( Gi Hwon Kwon ) 공저
- 발행사항
- 서울 : 한국정보처리학회, 2005.
- 형태사항
- pp. 81-90
- 주기사항
- 참고문헌수록
- 기타저자
- 권기현 ( Gi Hwon Kwon )
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60264370
MARC
008201022s2005 ulk aa kor■022 ▼a15982866
■1001 ▼a이태훈 ( Tae Hoon Lee )
■24510▼a소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성▼d이태훈 ( Tae Hoon Lee )▼e권기현 ( Gi Hwon Kwon ) 공저
■260 ▼a서울▼b한국정보처리학회▼c2005.
■300 ▼app. 81-90
■500 ▼a참고문헌수록
■7001 ▼a권기현 ( Gi Hwon Kwon )
■773 ▼t정보처리학회논문지 D=The KIPS Transations : Part D▼g제12-D권 제1호 (통권 제97호)(2005년 2월)▼d2005, 02
■856 ▼uhttp://www.kips.or.kr/
■SIS ▼aS016098▼b60058779▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
詳細情報
- 予約
- ない存在
- 私のフォルダ
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
