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]
@inproceedings{RacchettiFT15,
title = {Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation},
author = {Lorenzo Racchetti and Cesare Fantuzzi and Lorenzo Tacconi},
year = {2015},
doi = {10.1109/IECON.2015.7392529},
url = {https://doi.org/10.1109/IECON.2015.7392529},
researchr = {https://researchr.org/publication/RacchettiFT15},
cites = {0},
citedby = {0},
pages = {2816-2821},
booktitle = {IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society, Yokohama, Japan, November 9-12, 2015},
publisher = {IEEE},
isbn = {978-1-4799-1762-4},
}