Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation

Lorenzo Racchetti, Cesare Fantuzzi, Lorenzo Tacconi. Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation. In IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015. pages 2816-2821, IEEE, 2015. [doi]

Authors

Lorenzo Racchetti

This author has not been identified. Look up 'Lorenzo Racchetti' in Google

Cesare Fantuzzi

This author has not been identified. Look up 'Cesare Fantuzzi' in Google

Lorenzo Tacconi

This author has not been identified. Look up 'Lorenzo Tacconi' in Google