An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker
You are here
| Title | An Abstract Model of a Coordination Protocol Using the UPPAAL Model Checker |
| Publication Type | Conference Paper |
| Year of Publication | 2011 |
| Authors | Bhandal C, Bouroche M, Hughes A |
| Conference Name | Embedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference onEmbedded and Ubiquitous Computing (EUC), 2011 IFIP 9th International Conference on |
| Date Published | 2011 |
| Conference Location | Melbourne, Australia |
| URL | https://sharepoint.lero.ie/Publications/2011/Conference%20Papers/2011-Bhandal-An%20Abstract%20Model%20of%20a%20Coordination%20Protocol%20using%20the%20UPPAAL.pdf |
