Formal verification of redundant media extension of Ethernet PowerLink.

Steve Limal, Stphane Potier, Bruno Denis, Jean-Jacques Lesage

Browse the full ETFA paper archive.