Formal System Verification. 1st ed. 2018

由 Drechsler, Rolf
出版 2020

Formal Specification Level Concepts, Methods, and Algorithms

由 Soeken, Mathias, Drechsler, Rolf
出版 2015

Robustness and Usability in Modern Design Flows

由 Fey, Görschwin, Drechsler, Rolf
出版 2020

Information Storage

由 Große, Cornelia S., Drechsler, Rolf
出版 2020

In-Memory Computing

由 Shirinzadeh, Saeideh, Drechsler, Rolf
出版 2020

Advanced Boolean Techniques

由 Drechsler, Rolf, Soeken, Mathias
出版 2020

Advanced Logic Synthesis. 1st ed. 2018

由 Reis, André Inácio, Drechsler, Rolf
出版 2020

Automatic Methods for the Refinement of System Models

由 Seiter, Julia, Wille, Robert, Drechsler, Rolf
出版 2020

Advanced BDD Optimization

由 Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
出版 2020

Test Pattern Generation using Boolean Proof Engines

由 Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
出版 2020

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

由 Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
出版 2020

Applications of Evolutionary Computing

由 Giacobini, Mario, Brabazon, Anthony, Cagnoni, Stefano, Caro, Gianni A. Di, Drechsler, Rolf, Ekart, Aniko, Esparcia-Alcazar, Anna I., Farooq, Muddassar, Fink, Andreas, McCormack, Jon
出版 2020