Resultados da busca por Autor

1

Formal verification of circuits /

por Drechsler, Rolf.
Publicado em 2000

Livro

2

Robustness and Usability in Modern Design Flows

por Fey, Görschwin., Fey, Görschwin., Drechsler, Rolf.
Publicado em 2008

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

3

Quality-Driven SystemC Design

por Große, Daniel., Große, Daniel., Drechsler, Rolf.
Publicado em 2010

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

4

Towards a Design Flow for Reversible Logic

por Wille, Robert., Wille, Robert., Drechsler, Rolf.
Publicado em 2010

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

5

Debugging at the Electronic System Level

por Rogin, Frank., Rogin, Frank., Drechsler, Rolf.
Publicado em 2010

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

6

High Quality Test Pattern Generation and Boolean Satisfiability

por Eggersglüß, Stephan., Eggersglüß, Stephan., Drechsler, Rolf.
Publicado em 2012

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

7

Formal Specification Level Concepts, Methods, and Algorithms /

por Soeken, Mathias., Soeken, Mathias., Drechsler, Rolf.
Publicado em 2015

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

8

Advanced BDD Optimization

por Ebendt, Rudiger., Ebendt, Rudiger., Fey, Görschwin., Drechsler, Rolf.
Publicado em 2005

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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 /

Publicado em 2015

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

10

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

Publicado em 2005

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

11

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

Publicado em 2006

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

12

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

Publicado em 2007

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

13

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

Publicado em 2008

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

14

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

Publicado em 2012

Outros Autores: “...Drechsler, Rolf....”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Assuntos relacionados