Published Robotique Designing dependable logic controllers using algebraic specifications Published on 30 September 2006 - Control Engineering Practice Authors: Jean-Marc Roussel, Jean-Marc Faure See the publication on HAL DOI Prev. Back to the list Next