Skip to main content

Publication

Development and Formal Verification of TTCAN: Time-Triggered Controller Area Network
Gabriel Leen
(2010)