Robotique

PERFORMANCE ANALYSIS OF INDUSTRIAL ETHERNET NETWORKS BY MEANS OF TIMED MODEL-CHECKING

Publié le - 12th IFAC Symposium on Information Control Problems in Manufacturing, INCOM 2006, Saint-Etienne (France), May 2006

Auteurs : Daniel Witsch, Birgit Vogel-Heuser, Jean-Marc Faure, Gaëlle Marsal