Robotique

Supporting the changeability of SIPN-based logic control algorithms by verification and validation

Published on - IMACS-IEEE int. conf. on Computational Engineering in Systems Applications (CESA'03)

Authors: Stéphane Klein, Georg Frey, Jean-Jacques Lesage, Lothar Litz