Skip to main content

Publication

Technical Report: Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a) Condensed report: Formal Verification of the TTCAN Protocol
Leen, G; Heffernan, D
(2002)
Technical Report: Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a) Condensed report: Formal Verification of the TTCAN Protocol in Circulation technical report: ISO Working Group ISO/TC22/SC3/WG1/TF6. PEI/CSRC Report No.: 20020603. Main library, University of Limerick, Ireland. June-2002.