Exact Design of Digital Microfluidic BiochipsOliver Keszocze, Rolf Drechsler og 1 annenPocketEngelskLegg i handlekurvNettlager
Design Automation for Field-coupled NanotechnologiesFrank Sill Torres, Rolf Drechsler og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Formal and Practical Techniques for the Complex System Design Process using Virtual PrototypesPascal Pieper, Rolf DrechslerPocketEngelskLegg i handlekurvNettlager
Design Automation Techniques for Approximation CircuitsArun Chandrasekharan, Rolf Drechsler og 1 annenPocketEngelskLegg i handlekurvNettlager
Formal Verification of Structurally Complex MultipliersAlireza Mahzoon, Rolf Drechsler og 1 annenInnbundetEngelskLegg i handlekurvNettlager
Automated Analysis of Virtual Prototypes at the Electronic System LevelMehran Goli, Rolf DrechslerInnbundetEngelskLegg i handlekurvNettlager
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andrePocketEngelskLegg i handlekurvNettlager
Design Automation Techniques for Approximation CircuitsArun Chandrasekharan, Rolf Drechsler og 1 annenInnbundetEngelskLegg i handlekurvNettlager
Verbessertes virtuelles PrototypingDaniel Große, Vladimir Herdt og 1 annenInnbundetTyskLegg i handlekurvNettlager
Enhanced Virtual PrototypingDaniel Große, Vladimir Herdt og 1 annenPocketEngelskLegg i handlekurvNettlager
Formal Verification of Structurally Complex MultipliersAlireza Mahzoon, Rolf Drechsler og 1 annenPocketEngelskLegg i handlekurvNettlager
Towards a Design Flow for Reversible LogicRobert Wille, Rolf DrechslerInnbundetEngelskLegg i handlekurvNettlager
Design Automation for Field-coupled NanotechnologiesFrank Sill Torres, Rolf Drechsler og 2 andrePocketEngelskLegg i handlekurvNettlager
Enhanced Virtual PrototypingDaniel Große, Vladimir Herdt og 1 annenInnbundetEngelskLegg i handlekurvNettlager
Reversible and Quantum CircuitsNabila Abdessaied, Rolf DrechslerPocketEngelskLegg i handlekurvNettlager
Enhanced Virtual Prototyping for Heterogeneous SystemsDaniel Große, Rolf Drechsler og 1 annenInnbundetEngelskLegg i handlekurvNettlager
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer SystemeMehran Goli, Rolf DrechslerInnbundetTyskLegg i handlekurvNettlager
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversJudith Przigoda, Rolf Drechsler og 2 andreInnbundetEngelskLegg i handlekurvNettlager
Design for Testability, Debug and ReliabilityRolf Drechsler, Sebastian HuhnPocketEngelskLegg i handlekurvNettlager
Design for Testability, Debug and ReliabilityRolf Drechsler, Sebastian HuhnInnbundetEngelskLegg i handlekurvNettlager
