Showing results 1 to 2 of 2
Asynchronous multi-sensor target tracking with nonlinear models = 비동기 다중 센서를 이용한 비선형 모델 기반 타겟 추적 연구link Jeon, Dae-Keun; 전대근; et al, 한국과학기술원, 2013 |
Reachability analysis and model checking technique for multiple-clock system verification = 다중 클락 시스템 검증을 위한 상태 도달성 분석 및 모델 확인 기술link Yi, Ju-Hwan; 이주환; et al, 한국과학기술원, 2005 |
Discover