Drechsler, Rolf.

Overview

Works:	1 works in 4 publications in 1 languages

Titles

Exact Design of Digital Microfluidic Biochips by: Keszocze, Oliver.; SpringerLink (Online service); Drechsler, Rolf.; Wille, Robert. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

In-Memory Computing = Synthesis and Optimization / by: Shirinzadeh, Saeideh.; Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Formal specification level = concepts, methods, and algorithms / by: SpringerLink (Online service); Drechsler, Rolf.; Soeken, Mathias. (Language materials, printed)

Automated Analysis of Virtual Prototypes at the Electronic System Level = Design Understanding and Applications / by: Goli, Mehran.; SpringerLink (Online service); Drechsler, Rolf. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Robustness and Usability in Modern Design Flows by: Fey, Gorschwin.; SpringerLink (Online service); Drechsler, Rolf. (Language materials, printed)

Advanced BDD Optimization by: Drechsler, Rolf.; Ebendt, Rudiger.; Fey, Gorschwin.; SpringerLink (Online service) (Language materials, printed)

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers by: Wille, Robert.; Drechsler, Rolf.; Przigoda, Judith.; SpringerLink (Online service); Przigoda, Nils. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Formal Specification Level = Concepts, Methods, and Algorithms / by: Soeken, Mathias.; Drechsler, Rolf.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Formal Modeling and Verification of Cyber-Physical Systems = 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 / by: Drechsler, Rolf.; Kühne, Ulrich.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Design Automation for Field-coupled Nanotechnologies by: Walter, Marcel.; Wille, Robert.; Drechsler, Rolf.; Sill Torres, Frank.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Electronics and Microelectronics, Instrumentation. Formal methods (Computer science) Computer engineering. Computer System Implementation. Artificial intelligence. Control, Robotics, Mechatronics. Decision making Signal processing. Algebra, Boolean. Electronic circuits Electronic circuits. Electronics. Applied and Technical Physics. Natural language processing (Computer science) Logic Design. Mathematical Logic and Formal Languages. Speech processing systems. Application software. Electronic circuit design. Artificial Intelligence. Embedded computer systems. Internet of things. Cyber-physical systems, IoT. Electronics Design and Verification. Engineering. Aerospace engineering. Computer algorithms. Computer hardware description languages Robotics. Software engineering Physics. Computer Science, general. Decision trees. Processor Architectures. Software architecture Image processing. Electronic Circuits and Systems. Engineering Design. Computer software Computer-aided engineering. Electronic and Computer Engineering. Integrated circuits Microelectronics. Circuits and Systems. Aerospace Technology and Astronautics. Microprocessors. Signal, Image and Speech Processing. Computer Appl. in Arts and Humanities. Architecture, Computer. Mechatronics. Embedded Systems. Computer simulation. Integrated circuits. Control engineering. Simulation and Modeling. Computer science. Logic design Astronautics. Computer-Aided Engineering (CAD, CAE) and Design. Logic design. Quantum computing. Computer hardware. Computer Hardware.