Special Section on Formal Methods in Manufacturing

Mon, 10/05/2010

A Special Section on Formal Methods in Manufacturing has been guest-edited by Javier Campos in the May 2010 issue of IEEE Transactions on Industrial Informatics.