Engineering » Industrial Engineering and Management » "Factory Automation", book edited by Javier Silvestre-Blanes, ISBN 978-953-307-024-7, Published: March 1, 2010 under CC BY-NC-SA 3.0 license

Chapter 23

Formal Methods in Factory Automation

By Corina Popescu and Jose L. Martinez Lastra
DOI: 10.5772/9526