A formal approach to specify and verify Internet of Things architecture.
Abdessamad SaidiMohamed Hadj KacemImen TounsiAhmed Hadj KacemPublished in: Internet Things (2023)
Keyphrases
- key technologies
- formal model
- management system
- software architecture
- real time
- reactive systems
- future internet
- architectural design
- network architecture
- distributed systems
- mobile devices
- databases
- control system
- expert systems
- formal specification
- physical world
- artificial intelligence
- formal language
- master slave
- learning algorithm