Found 2 results
Filters: Author is Bhandal, Colm [Clear All Filters]
An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker. Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on.
.
2011. A process algebraic description of a temporal wireless network protocol. Proceedings of the Fourth International Workshop on Formal Methods for Interactive Systems (FMIS 2011).
.
2011.