Showing results 1 to 2 of 2
Exploitation of versions for handling updates to shared data = 공유 데이터의 갱신을 처리하기 위한 버전의 활용link Kang, Heum-Geun; 강흠근; et al, 한국과학기술원, 2004 |
지능망 서비스를 기술하기 위한 형식 명세 언어 Z의 확장 = Extension of formal specification notation Z to describe services in intelligent networklink 강흠근; Kang, Heum-Geun; et al, 한국과학기술원, 1992 |
Discover