[IEEE IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Yokohama (2015.11.9-2015.11.12)] IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society - Verification and validation based on the generation of testing sequences from timing diagram specifications in industrial automation
Racchetti, Lorenzo, Fantuzzi, Cesare, Tacconi, LorenzoYear:
2015
Language:
english
DOI:
10.1109/iecon.2015.7392529
File:
PDF, 327 KB
english, 2015