( en | de | ru )

 

Disambiguierung von "Reorda, Matteo Sonza"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Experimental Evaluation of the Effectiveness of Automatic Rule-Based Transformations for Safety-Critical Applications.

, , , und . DFT, Seite 257-265. IEEE Computer Society, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Matteo Garavoglia

Matteo Gabba

Matteo Bertini

Matteo Rini

Marco Matteo

 

Weitere Publikationen von Autoren mit dem selben Namen

Exploiting an infrastructure-intellectual property for systems-on-chip test, diagnosis and silicon debug., , , und . IET Comput. Digit. Tech., 4 (2): 104-113 (2010)DYRE: a DYnamic REconfigurable solution to increase GPGPU's reliability., , , und . J. Supercomput., 77 (10): 11625-11642 (2021)Evaluating Different Solutions to Design Fault Tolerant Systems with SRAM-based FPGAs., , , , und . J. Electron. Test., 23 (1): 47-54 (2007)BASTION: Board and SoC test instrumentation for ageing and no failure found., , , , , , , , und . DATE, Seite 115-120. IEEE, (2017)Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms., , und . EvoWorkshops, Volume 1596 von Lecture Notes in Computer Science, Seite 182-192. Springer, (1999)FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems., , und . SAFECOMP, Volume 1698 von Lecture Notes in Computer Science, Seite 323-335. Springer, (1999)On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications., , , , , , und . EDCC, Volume 1150 von Lecture Notes in Computer Science, Seite 190-202. Springer, (1996)An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard., , , , , und . LATS, Seite 1-6. IEEE, (2017)The Use of Model Checking in ATPG for Sequential Circuits., , , und . CAV, Volume 531 von Lecture Notes in Computer Science, Seite 86-95. Springer, (1990)Fault Grading Techniques of Software Test Libraries for Safety-Critical Applications., , und . IEEE Access, (2019)