Masaya Fujimoto

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Automated Verification

Complex Systems

Top Venues

Publications

Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya
Expansion Mechanism for Runtime Verification of Self-adaptive Systems. SEKE (2023)