Expansion Mechanism for Runtime Verification of Self-adaptive Systems.

Masaya Fujimoto, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya

Browse the full SEKE paper archive.