Login / Signup
Yong-Sok Kim
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Space Time
Temporal Ordering
Formal Specification
Top Venues
Innov. Syst. Softw. Eng.
</>
Publications
</>
Chun-Ok Sin
,
Yong-Sok Kim
TimeLine Depiction: an approach to graphical notation for supporting temporal property specification.
Innov. Syst. Softw. Eng.
19 (3) (2023)