Deriving event data sharing in IoT systems using formal modelling and analysis

Paul Fremantle, Benjamin Aziz

Research output: Contribution to journalArticlepeer-review

91 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Deriving event data sharing in IoT systems using formal modelling and analysis'. Together they form a unique fingerprint.

Business & Economics

Engineering & Materials Science