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]
Abstract is missing.