Reliable System Specification for Self-Checking Data-Paths.

Cristiana Bolchini, Fabio Salice, Donatella Sciuto, Luigi Pomante

Browse the full DATE paper archive.