Integrating formal methods with industrial standards in the development of flexible manufacturing systems

Luca Ferrucci. Integrating formal methods with industrial standards in the development of flexible manufacturing systems. PhD thesis, Polytechnic University of Milan, Italy, 2014. [doi]

Abstract

Abstract is missing.

  翻译: