Skip to content

A Mechanized Model for CAN Protocols.

Francesco Bongiovanni, Ludovic Henrio

VenueBFASE
Year2013
ProceedingsFASE

Browse the full FASE paper archive.