Conference Publication Details

Mandatory Fields

Authors

Leen, G. and Heffernan, D.

Conference Title

5th International Conference on Networks and Systems, ICN'06: IEEE Computer Society

Title of Paper

Modelling and verification of a time-triggered network protocol

Year

2006

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

Editors

IEEE Computer Society

Start Page

304

End Page

312

Location

Start Date

20-APR-06

End Date

23-APR-06

Abstract

Funded By

SFI

URL

DOI Link

Grant Details

Funding Body

Grant Details