Skip to main content

Publication

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