Robotique

A generic approach to build plant models for DES verification purposes

Publié le 10 juillet 2006 - 8th International Workshop on Discrete Event Systems, WODES'06

Auteurs : José Machado, Bruno Denis, Jean-Jacques Lesage