Taeman Han

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Sachoun Park, Taeman Han, Hyoungju Lim, Gihwon Kwon
OCL Evaluation on AUTOSAR Model. SEKE (2010)
Sachoun Park, Taeman Han, Gihwon Kwon
Formal Verification of UML 2.0 Sequence Diagram. SEKE (2010)