Publication

모델 체킹을 이용한 시스템의 자원 활용 분석

Domestic papers
2003
2003/2
조회
2771
정보과학회 논문지, 제 30권, 제 2호, pp.59-67
방기석, 진현욱, 최진영, 유혁

The attached papers or publications here are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.