Formal System Verification, Fachbücher von Rolf Drechsler

Formal Verification of Circuits, Fachbücher von Rolf Drechsler

Rolf Drechsler | Formal System Verification | Buch | Englisch (2017) |

Formal Modeling and Verification of Cyber-Physical Systems, Fachbücher von Ulrich Kühne, Rolf Drechsler

Rolf Drechsler | Formal Verification Of Circuits | Buch | Englisch

Formal Specification Level, Fachbücher von Rolf Drechsler, Mathias Soeken

Debugging at the Electronic System Level, Fachbücher von Rolf Drechsler, Frank Rogin

Rolf Drechsler (u. A.) | Formal Specification Level | Buch | Englisch

Automatic Methods for the Refinement of System Models, Fachbücher von Robert Wille, Rolf Drechsler, Julia Seiter

Automated Analysis of Virtual Prototypes at the Electronic System Level, Fachbücher von Mehran Goli, Rolf Drechsler

Introduction to Formal Hardware Verification, Fachbücher

In-Memory Computing, Fachbücher von Rolf Drechsler, Saeideh Shirinzadeh

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers, Fachbücher von Robert Wille, Rolf Dr...

A Roadmap for Formal Property Verification, Fachbücher

Information Storage, Fachbücher von Rolf Drechsler, Cornelia S. Grosse

Advanced Boolean Techniques, Fachbücher von Rolf Drechsler, Mathias Soeken