Found 3 results
Filters: Author is Heffernan, Donal [Clear All Filters]
Modelling and Verification of a Time-triggered Networking Protocol. ICONS’06ICONS’06.
.
2007. Interactive consistency on a time-triggered real-time control network. IEEE Transactions on Industrial Informatics, Paper Revision. 2
.
2006. Modelling and Verification of a Time-triggered Networking Protocol ICONS’06. IEEE Computer SocietyIEEE Computer Society.
.
2006.