Stéphane Potier

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Steve Limal, Stéphane Potier, Bruno Denis, Jean-Jacques Lesage
Formal verification of redundant media extension of Ethernet PowerLink. ETFA (2007)