Cited By
View all- Gainer PLinker SDixon CHustadt UFisher M(2020)Multi-scale verification of distributed synchronisationFormal Methods in System Design10.1007/s10703-020-00347-zOnline publication date: 20-Sep-2020
- Yadav PMcCann JPereira T(2017)Self-Synchronization in Duty-Cycled Internet of Things (IoT) ApplicationsIEEE Internet of Things Journal10.1109/JIOT.2017.27571384:6(2058-2069)Online publication date: Dec-2017
- Gainer PLinker SDixon CHustadt UFisher M(2017)Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model CheckingQuantitative Evaluation of Systems10.1007/978-3-319-66335-7_14(224-239)Online publication date: 11-Aug-2017
- Show More Cited By