Innovation design and its verification & validation in the era of the Internet of Things.

Naoshi Uchihira

Published in: GCCE (2016)

Keyphrases

case study
design process
database
mobile devices
design decisions
formal verification
website
user interface
wireless networks
big data
design methodology
formal methods
functional verification