RINGA: Design and verification of finite state machine for self-adaptive software at runtime

• Euijong Lee ^[1] ; Young-Gab Kim ^[2] ; Young-Duk Seo ^[1] ; Kwangsoo Seol ^[1] ; Doo-Kwon Baik ^[1]
  1. [1] Korea University

     Korea University

     Corea del Sur

     
  2. [2] Sejong University

     Sejong University

     Corea del Sur

     
• Localización: Information and software technology, ISSN 0950-5849, Nº 93, 2018, págs. 200-222
• Idioma: inglés
• Enlaces
  • Texto completo