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

Year of Publication

2002

Journal

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