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

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

Templates

Category Search






Publicationsmore







Crossref logo