$\require{mediawiki-texvc}$
  • 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
안녕하세요!
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

학위논문 상세정보

지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장

Extension of formal specification notation Z to describe services in intelligent network


Kang, Heum-Geun (한국과학기술원 전산학과 국내석사)
Abstract

As demands for new telephone services for intelligent networks are rising, constructing services with predefined building blocks appears to be a viable recipe to rapidly provide new services. Therefore, attempts to formally describe those building blocks independently of service types are being made...

주제어

#Intelligence services 명세 기술 네트워크 Specification writing;

참고문헌 (0)

  1. 이 논문의 참고문헌 없음

이 논문을 인용한 문헌 (0)

  1. 이 논문을 인용한 문헌 없음
저자 Kang, Heum-Geun
학위수여기관 한국과학기술원
학위구분 국내석사
학과 전산학과
발행년도 1992
총페이지 40, R.3, A.2 p.
키워드 Intelligence services 명세 기술 네트워크 Specification writing
언어 kor
원문 URL http://www.riss.kr/link?id=T10508129&outLink=K
정보원 한국교육학술정보원
상세조회 0건 원문조회 0건

DOI 인용 스타일