Showing results 1 to 3 of 3
(A) verification method for web service composition based on discrete event system modeling and simulation = 이산사건시스템 모델링 및 시뮬레이션 기반 웹 서비스 조합 검증 방법link Lim, Seong-Yong; 임성용; et al, 한국과학기술원, 2010 |
(An) effective software reliability assessment process for weapon system development = 무기체계 시스템 개발을 위한 효율적인 소프트웨어 신뢰성 평가 프로세스link Lee, Dal-Ju; 이달주; et al, 한국과학기술원, 2010 |
Simplicafication of resource constraints in generalized stochastic petri net-based software performance models = Generalized Stochastic Petri Net 기반 소프트웨어 성능 모델에서의 자원제약 표현의 간소화link Lee, Hun-Jae; 이훈재; et al, 한국과학기술원, 2010 |
Discover