Maaz Jamal, Joseph Boi-Ukeme, Gabriel A. Wainer. Controller Area Network Discrete-Event System Specification For Independent Node Testing. In Cristina Ruiz Martin, Niloufar Emami, María Julia Blas, Roya Rezaee, editors, Annual Modeling and Simulation Conference, ANNSIM 2022, San Diego, CA, USA, July 18-20, 2022. pages 790-801, IEEE, 2022. [doi]
Abstract is missing.