The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators.

Gainer, Paul, Linker, Sven ORCID: 0000-0003-2913-7943, Dixon, Clare, Hustadt, Ullrich ORCID: 0000-0002-0455-0267 and Fisher, Michael (2018) The Power of Synchronisation: Formal Analysis of Power Consumption in Networks of Pulse-Coupled Oscillators. In: 20th International Conference on Formal Engineering Methods, 2018-11-12 - 2018-11-16, Griffith University, Gold Coast, Australia.

Text ICFEM040718.pdf - Author Accepted Manuscript Download (403kB)

Item Type:	Conference or Workshop Item (Unspecified)
Depositing User:	Symplectic Admin
Date Deposited:	09 Jul 2018 09:43
Last Modified:	14 Mar 2024 21:36
DOI:	10.1007/978-3-030-02450-5_10
Related URLs:	Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3023407