Pascal Fradet, Xiaojie Guo, Jean-François Monin, Sophie Quinton. CertiCAN: A Tool for the Coq Certification of CAN Analysis Results. In Björn B. Brandenburg, editor, 25th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2019, Montreal, QC, Canada, April 16-18, 2019. pages 182-191, IEEE, 2019. [doi]
Abstract is missing.