Title :
Guest Editorial Special Section on Formal Methods in Manufacturing
Author_Institution :
Universidad de Zaragoza, Zaragoza, Spain
fDate :
5/1/2010 12:00:00 AM
Abstract :
The five papers in this special section focus on the area of formal methodologies for manufacturing systems.
Journal_Title :
Industrial Informatics, IEEE Transactions on
DOI :
10.1109/TII.2010.2042529
