|Description:||formal model for a fragmentation and a reassembly protocol running on top of the standardised CAN bus|
|Author(s):||Rob van Glabbeek, Peter Höfner|
Split, Send, Reassemble: A Formal Specification of a CAN Bus Protocol Stack Protocol
|Note:||Model updated 02/04/2020 (minor syntactical modifications).
The original submission can be found here.