A Tool to Edit and Verify IoT System Architecture Model.

Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima

Browse the full MODELS paper archive.