방
방기석
Publications - 1
Citations - 163
방기석 is an academic researcher. The author has an hindex of 1, co-authored 1 publications receiving 153 citations.
Papers
More filters
Holzmann의 ˝The Model Checker SPIN˝에 대하여
TL;DR: 본 논문에서는 Dr Gerald J. Holzmann이 제시하였던 커널 스케줄링 방식을 프로세스 ACSR-VP 보인다.