Formal System Verification. 1st ed. 2018

Autor Drechsler, Rolf
Vydáno 2020

Formal Specification Level Concepts, Methods, and Algorithms

Autor Soeken, Mathias, Drechsler, Rolf
Vydáno 2015

Robustness and Usability in Modern Design Flows

Autor Fey, Görschwin, Drechsler, Rolf
Vydáno 2020

Information Storage

Autor Große, Cornelia S., Drechsler, Rolf
Vydáno 2020

In-Memory Computing

Autor Shirinzadeh, Saeideh, Drechsler, Rolf
Vydáno 2020

Advanced Boolean Techniques

Autor Drechsler, Rolf, Soeken, Mathias
Vydáno 2020

Advanced Logic Synthesis. 1st ed. 2018

Autor Reis, André Inácio, Drechsler, Rolf
Vydáno 2020

Automatic Methods for the Refinement of System Models

Autor Seiter, Julia, Wille, Robert, Drechsler, Rolf
Vydáno 2020

Advanced BDD Optimization

Autor Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Vydáno 2020

Test Pattern Generation using Boolean Proof Engines

Autor Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Vydáno 2020

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

Autor Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Vydáno 2020

Applications of Evolutionary Computing

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