Modelling and Verification of a Time-triggered Networking Protocol
You are here
| Title | Modelling and Verification of a Time-triggered Networking Protocol |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Leen G, Heffernan D |
| Conference Name | ICONS’06ICONS’06 |
| Date Published | 2007 |
| Publisher | IEEE Computer Society Press |
| Conference Location | Mauritius |
| URL | http://ulir.ul.ie/handle/10344/2271 |
