BigraphTalk: Verified Design of IoT Applications.
Blair ArchibaldMin-Zheng ShiehYu-Hsuan HuMichele SevegnaniYi-Bing LinPublished in: IEEE Internet Things J. (2020)
Keyphrases
- case study
- optimal design
- engineering design
- computer aided
- management system
- design decisions
- user experience
- multiscale
- decision trees
- learning algorithm
- user interface
- evolutionary algorithm
- neural network
- knowledge based systems
- building blocks
- design process
- image sequences
- design principles
- website
- artificial intelligence
- design methodology