ieee 1394 root | Sciweavers

STTT
2010

113views more STTT 2010»

Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method

13 years 6 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

claim paper

Read More »

click to vote

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

Download hal.inria.fr

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