• Journal of Internet Computing and Services
    ISSN 2287 - 1136(Online) / ISSN 1598 - 0170 (Print)
    http://jics.or.kr/

Digital Library


Search: " keyword: Live Sequence Chart" (1)
  1. 1. Developing a Reactive System Model from a Scenario-Based Specification Model
    Ryoung-Kwo Kwon, Gi-Hwon Kwon, Vol. 13, No. 1, pp. 99-106, Feb. 2012
    10.7472/jksii.2012.13.1.99
    Keywords: LTL Synthesis, Reactive System, Scenario Based Specification, Live Sequence Chart