Formal System Verification. 1st ed. 2018

nork Drechsler, Rolf
Argitaratua 2020

Formal Specification Level Concepts, Methods, and Algorithms

nork Soeken, Mathias, Drechsler, Rolf
Argitaratua 2015

Robustness and Usability in Modern Design Flows

nork Fey, Görschwin, Drechsler, Rolf
Argitaratua 2020

Information Storage

nork Große, Cornelia S., Drechsler, Rolf
Argitaratua 2020

In-Memory Computing

nork Shirinzadeh, Saeideh, Drechsler, Rolf
Argitaratua 2020

Advanced Boolean Techniques

nork Drechsler, Rolf, Soeken, Mathias
Argitaratua 2020

Advanced Logic Synthesis. 1st ed. 2018

nork Reis, André Inácio, Drechsler, Rolf
Argitaratua 2020

Automatic Methods for the Refinement of System Models

nork Seiter, Julia, Wille, Robert, Drechsler, Rolf
Argitaratua 2020

Advanced BDD Optimization

nork Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Argitaratua 2020

Test Pattern Generation using Boolean Proof Engines

nork Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Argitaratua 2020

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

nork Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Argitaratua 2020

Applications of Evolutionary Computing

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