( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms.

, , и . EvoWorkshops, том 1596 из Lecture Notes in Computer Science, стр. 182-192. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Matteo Garavoglia

Marco Matteo

Matteo Rini

Matteo Gabba

Matteo Bertini

 

Другие публикации лиц с тем же именем

An experimental analysis of the effectiveness of the circular self-test path technique., , и . EURO-DAC, стр. 246-251. IEEE Computer Society, (1994)An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard., , , , , и . LATS, стр. 1-6. IEEE, (2017)The Use of Model Checking in ATPG for Sequential Circuits., , , и . CAV, том 531 из Lecture Notes in Computer Science, стр. 86-95. Springer, (1990)Approximate Equivalence Verification for Protocol Interface Implementation via Genetic Algorithms., , и . EvoWorkshops, том 1596 из Lecture Notes in Computer Science, стр. 182-192. Springer, (1999)FlexFi: A Flexible Fault Injection Environment for Microprocessor-Based Systems., , и . SAFECOMP, том 1698 из Lecture Notes in Computer Science, стр. 323-335. Springer, (1999)On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications., , , , , , и . EDCC, том 1150 из Lecture Notes in Computer Science, стр. 190-202. Springer, (1996)BASTION: Board and SoC test instrumentation for ageing and no failure found., , , , , , , , и . DATE, стр. 115-120. IEEE, (2017)Software-Based Self-Test for Transition Faults: a Case Study., , , и . VLSI-SoC, стр. 76-81. IEEE, (2019)Test-Plan Optimization for Flying-Probes In-Circuit Testers., , , и . ITC-Asia, стр. 19-24. IEEE, (2019)System-level test bench generation in a co-design framework., , , , и . ETW, стр. 25-30. IEEE Computer Society, (2000)