Robotique

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

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

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