![](/img/cover-not-exists.png)
[IEEE 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Patras, Greece (2007.09.25-2007.09.28)] 2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007) - Formal verification of redundant media extension of Ethernet PowerLink
Limal, Steve, Potier, Stephane, Denis, Bruno, Lesage, Jean-JacquesYear:
2007
Language:
english
DOI:
10.1109/EFTA.2007.4416898
File:
PDF, 356 KB
english, 2007