Robotique

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

Publié le 9 juillet 2003 - IMACS-IEEE int. conf. on Computational Engineering in Systems Applications (CESA'03)

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