Login / Signup
T.-H. Kim
Publication Activity (10 Years)
Years Active: 2000-2004
Publications (10 Years): 0
</>
Publications
</>
Robert M. Hierons
,
T.-H. Kim
,
Hasan Ural
On the testability of SDL specifications.
Comput. Networks
44 (5) (2004)
Robert M. Hierons
,
T.-H. Kim
,
Hasan Ural
Expanding an Extended Finite State Machine to aid Testability.
COMPSAC
(2002)
T.-H. Kim
,
S.-H. Lee
,
J.-T. Lim
Stability analysis of switched systems via redundancy factors.
Int. J. Syst. Sci.
32 (10) (2001)
S.-H. Lee
,
T.-H. Kim
,
J.-T. Lim
A new stability analysis of switched systems.
Autom.
36 (6) (2000)