Robotique

Formal verification of redundant media extension of Ethernet PowerLink

Published on - 12th IEEE Conference on Emerging Technologies and Factory Automation

Authors: Steve Limal, Stéphane Potier, Bruno Denis, Jean-Jacques Lesage