Browse "CS-Journal Papers(저널논문)" by Author Bae, Doo Hwan
Showing results 1 to 2 of 2
| Specification and Validation of Dynamic Systems Using Temporal Logic Cho, Seung Mo; Kim, Hyung Ho; Cha, Sung Deok; Bae, Doo Hwan, IEE Proceedings - Software, Vol.148, No.4, pp.135-140, 2001-08 |
| 유즈케이스를 적용한 시스템 기능 분해 윤, 청; 김, 응모; 배, 두환; Yoon, Cheong; Kim, Ung Mo; Bae, Doo Hwan, 정보과학회논문지(B), Vol.26, No.2, pp.263-272, 1999-02 |
Discover
Open Access
- 187 OA Article