Publié Robotique Designing dependable logic controllers using algebraic specifications Publié le 30 septembre 2006 - Control Engineering Practice Auteurs : Jean-Marc Roussel, Jean-Marc Faure Voir la publication sur HAL DOI Precedent Retour à la liste Suivant