Haklin Kimm, Hanke Kimm. Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN Promela. In Sukhan Lee 0001, Roslan Ismail, Hyunseung Choo, editors, Proceedings of the 13th International Conference on Ubiquitous Information Management and Communication, IMCOM 2019, Phuket, Thailand, January 4-6, 2019. Volume 935 of Advances in Intelligent Systems and Computing, pages 195-210, Springer, 2019. [doi]
Abstract is missing.