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

Lorenzo Racchetti, Cesare Fantuzzi, Lorenzo Tacconi

Browse the full IECON paper archive.