Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.
Kazuya Aizawa, Kenji Tei, Shinichi Honiden
VenueCUIC
Year2019
ProceedingsSmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI
DBLP recordconf/uic/AizawaTH19 ↗
Browse the full UIC paper archive.