Sciweavers

ISOLA
2007
Springer

159views Formal Methods» more ISOLA 2007»

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

14 years 5 months ago

We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...

Joris Rehm, Dominique Cansell

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers