Conference Publication Details

Mandatory Fields

Authors

Leen, G. and Heffernan, D.

Conference Title

ICONS'06 - International Conference on Networks and Systems

Title of Paper

Modelling and Formal Verification of a Time-Triggered Network Protocol

Year

2006

Month

Status

Published

Peer Reviewed

Times Cited

()

Optional Fields

Search Keyword

Editors

*

Start Page

*

End Page

*

Location

Start Date

27-APR-06

End Date

29-APR-06

Abstract

Funded By

*

URL

DOI Link

Grant Details

Funding Body

Grant Details