Formally Verifying Aspects of Time-Triggered Controller Area Network (phases 1 and 2a)
(2002)
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)