Modelling and Verification of a Time-triggered Networking Protocol ICONS’06
You are here
| Title | Modelling and Verification of a Time-triggered Networking Protocol ICONS’06 |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Leen G, Heffernan D |
| Conference Name | IEEE Computer SocietyIEEE Computer Society |
| Date Published | 2006 |
| Conference Location | Mauritius |
| URL | https://sharepoint.lero.ie/Publications/2006/Conferences/2006-Leen-Modelling%20and%20Verification%20of%20a%20Time-triggered%20Networking%20Protocol%20ICONS%2706.pdf |
