Searching for authors named "Hyoung Seok Hong" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Qualitative Modeling of Hybrid Systems
- …Qualitative modeling of hybrid systems Oleg Sokolsky and Hyoung Seok Hong Department of Computer…
- Cited by 6 (0 self) – Add To MetaCart
-
Specification aind Analysis of Real-Time Systems in Statecharts
- …Specification aind Analysis of Real-Time Systems in Statecharts Sung Deok Cha and Hyoung Seok Hong…
- Add To MetaCart
-
Automatic Test Generation from Statecharts Using Model Checking
- …Automatic Test Generation from Statecharts Using Model Checking Hyoung Seok Hong, Insup Lee, Oleg…
- Cited by 6 (1 self) – Add To MetaCart
-
Specification and Analysis of Real-Time
- …. 137-143, Feb. 1996. Sung Deok Cha and Hyoung Seok Hong Department of Computer Science Korea Advanced…
- Add To MetaCart
-
A Test Sequence Selection Method for Statecharts
- … test sequence selection method for statecharts Hyoung Seok Hong 1,* , Young Gon Kim 1 , Sung Deok Cha 1…
- Add To MetaCart
-
Extending the SCR Method for Real-Time Systems
- … SEOK HONG hshong@(email omitted); EECS Department and Advanced Information Technology Research…
- Add To MetaCart
-
A Test Sequence Selection Method for Statecharts
- …A Test Sequence Selection Method for Statecharts Hyoung Seok Hong, Young Gon Kim, Sung Deok Cha…
- Cited by 10 (2 self) – Add To MetaCart
-
Static Semantics and Priority Schemes for
- … and Applications Conference '95, Dallas, Texas, USA, pp. 114-120, Aug. 1995. Hyoung Seok Hong, Jeong Hyun Kim…
- Add To MetaCart
Showing 1 through 8.
