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