 | Up a level |
Carpanzano, Emanuele and Valente, Anna and Mazzolini, Mauro (2015) An approach to design and develop reconfigurable control software for highly automated production systems. International Journal of Computer Integrated Manufacturing., 28. pp. 321-336.
Carpanzano, Emanuele and Ferrucci, L and Mandrioli, D and Mazzolini, Mauro and Morzenti, A and Rossi, M (2012) Automated formal verification for flexible manufacturing systems. Journal of Intelligent Manufacturing.