Showing results 1 to 2 of 2
Assertion 기법을 소프트웨어 요구 분석에 적용하기 위한 연구 = A study on application of the assertion techniques to analysis of software requirementslink 차신; Cha, Shin; et al, 한국과학기술원, 1987 |
Information theoretical complexity metrics for concurrent programs = 병행 프로그램을 위한 정보이론적 복잡도 척도link Cha, Shin; 차신; et al, 한국과학기술원, 1995 |
Discover