Deriving event data sharing in IoT systems using formal modelling and analysis
Research output: Contribution to journal › Article
|Journal||Internet of Things: Engineering Cyber Physical Human Systems|
|Publication status||Accepted for publication - 12 Aug 2019|
Rights statement: The embargo end date of 2050 is a temporary measure until we know the publication date. Once we know the publication date the full text of this article will be able to view shortly afterwards.
Accepted author manuscript (Post-print), 620 KB, PDF-document
Due to publisher’s copyright restrictions, this document is not freely available to download from this website until: 1/01/50