서브메뉴
검색
효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증
효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증
Detailed Information
- Material Type
- 기사
- ISSN
- 15982831
- Author
- 박사천 ( Sa Choun Park )
- Title/Author
- 효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증 / 박사천 ( Sa Choun Park ) ; 권기현 ( Gi Hwon Kwon ) , 하순회 ( Soon Hoi Ha ) 공저
- Publish Info
- 서울 : 한국정보처리학회, 2005.
- Material Info
- pp. 563-570
- General Note
- 참고문헌수록
- Added Entry-Personal Name
- 권기현 ( Gi Hwon Kwon ) , 하순회 ( Soon Hoi Ha )
- Host Item Entry
- 정보처리학회논문지 A=The KIPS Transations : Part A : 제12-A권 제7호 (통권 제97호)(2005년 12월) 2005, 12
- Electronic Location and Access
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60262244
MARC
008201013s2005 ulk aa kor■022 ▼a15982831
■1001 ▼a박사천 ( Sa Choun Park )
■24510▼a효과적인 임베디드 소프트웨어 설계를 위한 제어흐름 모델의 자동 검증▼d박사천 ( Sa Choun Park )▼e권기현 ( Gi Hwon Kwon ) , 하순회 ( Soon Hoi Ha ) 공저
■260 ▼a서울▼b한국정보처리학회▼c2005.
■300 ▼app. 563-570
■500 ▼a참고문헌수록
■7001 ▼a권기현 ( Gi Hwon Kwon ) , 하순회 ( Soon Hoi Ha )
■773 ▼t정보처리학회논문지 A=The KIPS Transations : Part A▼g제12-A권 제7호 (통권 제97호)(2005년 12월)▼d2005, 12
■856 ▼uhttp://www.kips.or.kr
■SIS ▼aS018635▼b60058741▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
