Parameterized Reachability Analysis of the IEEE 1394 Root Contention Protocol using TReX (2001)

by A. Collomb-Annichini , M. Sighireanu
Venue:PROCEEDINGS OF THE WORKSHOP ON REAL-TIME TOOLS (RT-TOOLS'2001)
Citations:14 - 0 self