A support tool to design IoT services with NuSMV.

Kazuya Nakahori Shingo Yamaguchi

Published in: ICCE (2017)

Keyphrases

design tools
end users
user interface
building blocks
symbolic model checking
software engineering
rough sets
service oriented
location information
formal verification