earticle

논문검색

제3부 : 정보기술분야

B-방법을 리용한 공간자료형의 묘사와 검증

원문정보

Verification of space data type by B-method

김영춘, 당반흥

한국어정보학회 한국어정보학회 국제학술대회 ICMIP '05, Harbin, China 다국어 정보처리 국제학술회의 논문집 2005.08 pp.275-281
피인용수 : 0건 (자료제공 : 네이버학술정보)

저자정보

  • 김영춘 과학원 수학연구소
  • 당반흥 유엔대학 국제 쏘프트웨어기술연구소

참고문헌

자료제공 : 네이버학술정보

    함께 이용한 논문

      ※ 기관로그인 시 무료 이용이 가능합니다.

      • 4,000원

      0개의 논문이 장바구니에 담겼습니다.