نتائج بحث المؤلف

1

Formal verification of circuits /

بواسطة Drechsler, Rolf.
منشور في 2000

كتاب

2

Robustness and Usability in Modern Design Flows

بواسطة Fey, Görschwin., Fey, Görschwin., Drechsler, Rolf.
منشور في 2008

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

3

Quality-Driven SystemC Design

بواسطة Große, Daniel., Große, Daniel., Drechsler, Rolf.
منشور في 2010

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

4

Towards a Design Flow for Reversible Logic

بواسطة Wille, Robert., Wille, Robert., Drechsler, Rolf.
منشور في 2010

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

5

Debugging at the Electronic System Level

بواسطة Rogin, Frank., Rogin, Frank., Drechsler, Rolf.
منشور في 2010

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

6

High Quality Test Pattern Generation and Boolean Satisfiability

بواسطة Eggersglüß, Stephan., Eggersglüß, Stephan., Drechsler, Rolf.
منشور في 2012

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

7

Formal Specification Level Concepts, Methods, and Algorithms /

بواسطة Soeken, Mathias., Soeken, Mathias., Drechsler, Rolf.
منشور في 2015

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

8

Advanced BDD Optimization

بواسطة Ebendt, Rudiger., Ebendt, Rudiger., Fey, Görschwin., Drechsler, Rolf.
منشور في 2005

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

9

Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /

منشور في 2015

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

10

Applications of Evolutionary Computing Evoworkshops: EvoBIO, EvoCOMNET, EvoHot, EvoIASP, EvoMUSART, and EvoSTOC /

منشور في 2005

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

11

Applications of Evolutionary Computing EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedi...

منشور في 2006

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

12

Applications of Evolutionary Computing EvoWorkshops 2007:EvoCOMNET, EvoFIN, EvoIASP, EvoINTERACTION, EvoMUSART, EvoSTOC, and EvoTransLog, Valencia, Spain, April 11-13, 2007, Procee...

منشور في 2007

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

13

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

منشور في 2008

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

14

Applications of Evolutionary Computation EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK, EvoSTIM, and EvoSTOC, Málaga, Spai...

منشور في 2012

مؤلفون آخرون: “...Drechsler, Rolf....”
احصل على النص الكامل

الكتروني كتاب الكتروني

موضوعات ذات صلة