Deriving event data sharing in IoT systems using formal modelling and analysis
Fremantle, Paul and Aziz, Benjamin (2019) Deriving event data sharing in IoT systems using formal modelling and analysis. Internet Things, 8.
Full text not available from this repository.
Access this via: https://doi.org/10.1016/j.iot.2019.100092
| Item Type: | Article |
|---|---|
| Depositing User: | RED Unit Admin |
| Date Deposited: | 13 Dec 2023 08:22 |
| Last Modified: | 13 Dec 2023 08:22 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18845 |
Actions (login required)
 |
Edit Item |