Showing results 1 to 3 of 3
Directed Model Checking for Fast Abstract Reachability Analysis![]() Lee, NakWon; Kim, Yunho; Kim, Moonzoo; Ryu, Duksan; Baik, Jongmoon, IEEE ACCESS, v.9, pp.158738 - 158750, 2021-11 |
Reachability analysis and model checking technique for multiple-clock system verification = 다중 클락 시스템 검증을 위한 상태 도달성 분석 및 모델 확인 기술link Yi, Ju-Hwan; 이주환; et al, 한국과학기술원, 2005 |
실시간 시스템을 위한 객체 지향 설계의 페트리 네트 기반의 분석에 관한 연구 = A study on petri net-based analysis of object-oriented design for real-time systemslink 최제욱; Choi, Je-Wook; et al, 한국과학기술원, 1996 |
Discover