Skip to main content

Publication

Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a)
Leen G; Heffernan, D
(2002)