본문 바로가기

연구 성과/국제 저널

Intenational Journal

  • ⊙ J. H. Bae and H. S. Chae, "Systematic Approach for Constructing an Understandable State Machine from a Contract-based Specification - Technology-Oriented and Human-Oriented Controlled Experiments," Software and Systems Modeling, vol. 15, no. 3, pp. 847-879, July, 2016.