External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Runtime verification method for self-adaptive software using reachability of transition system model

Euijong Lee, Young-Gab Kim, Young-Duk Seo, Kwangsoo Seol, Doo-Kwon Baik. Runtime verification method for self-adaptive software using reachability of transition system model. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 65-68, ACM, 2017. [doi]

Authors

Euijong Lee

This author has not been identified. Look up 'Euijong Lee' in Google

Young-Gab Kim

This author has not been identified. Look up 'Young-Gab Kim' in Google

Young-Duk Seo

This author has not been identified. Look up 'Young-Duk Seo' in Google

Kwangsoo Seol

This author has not been identified. Look up 'Kwangsoo Seol' in Google

Doo-Kwon Baik

This author has not been identified. Look up 'Doo-Kwon Baik' in Google
runs on