Published

Robotique

A generic approach to build plant models for DES verification purposes

Published on - 8th International Workshop on Discrete Event Systems, WODES'06

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

See the publication on HAL