Leen, G; Heffernan, D

2002

June

Circulation technical report: ISO Working Group ISO/TC22/SC3/WG1/TF6. PEI/CSRC Report No.: 20020603. Main library, University of Limerick, Ireland. June-2002.

Technical Report: Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a) Condensed report: Formal Verification of the TTCAN Protocol

Published

0

*

*

*