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

Gabriel Leen

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

Gabriel Leen

Department of Electronics & Computer Engineering

Research output: Contribution to journal › Article

Original language	English (Ireland)
Pages (from-to)	-
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
Publication status	Published - 2002

Cite this

@article{e4af24d21a6d4bcd963533b9f3694caf,

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

author = "Gabriel Leen",

year = "2002",

language = "English (Ireland)",

pages = "--",

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",

}

Technical Report: Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a) Condensed report: Formal Verification of the TTCAN Protocol. / Leen, Gabriel.
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, 2002, p. -.

Research output: Contribution to journal › Article

TY - JOUR

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

AU - Leen, Gabriel

PY - 2002

Y1 - 2002

M3 - Article

SP - -

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

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

ER -