Items where Author is "Breza, M"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 2.
Article
Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2020) Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Journal of Computational Science, 45. ISSN 1877-7503
Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2019) Formal verification of synchronisation, gossip and environmental effects for wireless sensor networks. Electronic Communications of the EASST, 76. ISSN 1863-2122