Robotique

Formal verification of redundant media extension of Ethernet PowerLink

Publié le 31 août 2007 - 12th IEEE Conference on Emerging Technologies and Factory Automation

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