( en | de | ru )

 

Disambiguierung von "Kunz, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fast and Accurate Model-Driven FPGA-based System-Level Fault Emulation.

, , , , , , , und . VLSI-SoC, Seite 1-6. IEEE, (2022)

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.

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

Wolfgang Kunz

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal hardware/software co-verification by interval property checking with abstraction., , , und . DAC, Seite 510-515. ACM, (2011)goSAT: Floating-point satisfiability as global optimization., , und . FMCAD, Seite 11-14. IEEE, (2017)The European Masters in Embedded Computing Systems (EMECS)., , , und . EWME, Seite 1-6. IEEE, (2016)A computer-algebraic approach to formal verification of data-centric low-level software., , , und . MEMOCODE, Seite 34-42. IEEE, (2016)A property language for the specification of hardware-dependent embedded system software., , , , und . FDL, Seite 1-8. IEEE, (2014)A New Formal Verification Approach for Hardware-dependent Embedded System Software., , , , , , , und . IPSJ Trans. Syst. LSI Des. Methodol., (2013)Automatic State Space Analysis for Modeling Untrusted Embedded Device Drivers., , , und . DSD, Seite 109-116. IEEE, (2020)Accelerated dynamic learning for test pattern generation in combinational circuits., und . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (5): 684-694 (1993)Reasoning in Boolean Networks - Logic Synthesis and Verification Using Testing Techniques., und . Frontiers in electronic testing Springer, (1997)Area Estimation Framework for Digital Hardware Design using Machine Learning., , , , , und . MBMV, Seite 1-10. VDE / IEEE, (2020)