Rolf Drechsler

Visos (9)Siūlomos (0)Ieškomos (0)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Rolf Drechsler, Judith Przigoda, Robert Wille, Nils Przigoda
0
0
Reversible and Quantum Circuits
Reversible and Quantum CircuitsReversible and Quantum Circuits
Reversible and Quantum Circuits
Rolf Drechsler, Nabila Abdessaied
0
0
Formal Specification Level
Formal Specification LevelFormal Specification Level
Formal Specification Level
Rolf Drechsler, Mathias Soeken
0
0
Debugging at the Electronic System Level
Debugging at the Electronic System LevelDebugging at the Electronic System Level
Debugging at the Electronic System Level
Rolf Drechsler, Frank Rogin
0
0
Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible LogicTowards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
Rolf Drechsler, Robert Wille
0
0
Quality-Driven SystemC Design
Quality-Driven SystemC DesignQuality-Driven SystemC Design
Quality-Driven SystemC Design
Rolf Drechsler, Daniel Große
0
0
Test Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof EnginesTest Pattern Generation using Boolean Proof Engines
Test Pattern Generation using Boolean Proof Engines
Görschwin Fey, Rolf Drechsler, Stephan Eggersglüß, Daniel Tille
0
0
Advanced BDD Optimization
Advanced BDD OptimizationAdvanced BDD Optimization
Advanced BDD Optimization
Görschwin Fey, Rolf Drechsler, Rüdiger Ebendt
0
0
Spectral Techniques in VLSI CAD
Spectral Techniques in VLSI CADSpectral Techniques in VLSI CAD
Spectral Techniques in VLSI CAD
D. Michael Miller, Rolf Drechsler, Mitchell Aaron Thornton
0
0
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra