Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method.

Joris Rehm, Dominique Cansell

Browse the full ISoLA paper archive.