Robotique

Designing dependable logic controllers using algebraic specifications

Published on - Control Engineering Practice

Authors: Jean-Marc Roussel, Jean-Marc Faure