Expansion Mechanism for Runtime Verification of Self-adaptive Systems

Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya. Expansion Mechanism for Runtime Verification of Self-adaptive Systems. In Shi-Kuo Chang, editor, The 35th International Conference on Software Engineering and Knowledge Engineering, SEKE 2023, KSIR Virtual Conference Center, USA, July 1-10, 2023. pages 76-81, KSI Research Inc., 2023. [doi]

Authors

Masaya Fujimoto

This author has not been identified. Look up 'Masaya Fujimoto' in Google

Hiroyuki Nakagawa

This author has not been identified. Look up 'Hiroyuki Nakagawa' in Google

Tatsuhiro Tsuchiya

This author has not been identified. Look up 'Tatsuhiro Tsuchiya' in Google