서브메뉴
검색
스테이트차트의 실시간 검증을 위한 모델체커의 확장
스테이트차트의 실시간 검증을 위한 모델체커의 확장
Detailed Information
- 자료유형
- 기사
- ISSN
- 12296848
- 저자명
- 방호정
- 서명/저자
- 스테이트차트의 실시간 검증을 위한 모델체커의 확장 / 방호정 , 홍형석, 김태효, 차성덕 공저
- 발행사항
- 서울 : 한국정보과학회, 2004.
- 형태사항
- pp. 773-783
- 주기사항
- 권말 참고문헌 수록
- 기타저자
- 홍형석, 김태효, 차성덕
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60222246
MARC
008190612s2004 ulk aa kor■022 ▼a12296848
■1001 ▼a방호정
■24510▼a스테이트차트의 실시간 검증을 위한 모델체커의 확장▼d방호정▼e홍형석, 김태효, 차성덕 공저
■260 ▼a서울▼b한국정보과학회▼c2004.
■300 ▼app. 773-783
■500 ▼a권말 참고문헌 수록
■7001 ▼a홍형석, 김태효, 차성덕
■773 ▼t정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App▼g제31권 제6호 (2004년 6월)▼d2004, 06
■856 ▼uhttp://www.kiise.or.kr
■SIS ▼aS015648▼b60058288▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
פרט מידע
- הזמנה
- לא קיים
- התיקיה שלי
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
