Languages
Drechsler, Rolf.
Overview
| Works: | 1 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Reversible and quantum circuits[electronic resource] :optimization and complexity analysis /
by:
Abdessaied, Nabila.; Drechsler, Rolf.; SpringerLink (Online service)
(Electronic resources)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
Clark Conference ((2005 :); Drechsler, Rolf.; SpringerLink (Online service); Wille, Robert.
(Language materials, printed)
Formal specification level[electronic resource] :concepts, methods, and algorithms /
by:
Drechsler, Rolf.; Soeken, Mathias.; SpringerLink (Online service)
(Language materials, printed)
Formal modeling and verification of cyber-physical systems[electronic resource] :1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /
by:
Clark Conference ((2005 :); Drechsler, Rolf.; Kuhne, Ulrich.; SpringerLink (Online service)
(Language materials, printed)
High quality test pattern generation and boolean satisfiability[electronic resource] /
by:
Drechsler, Rolf.; Eggersgluss, Stephan.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Control, Robotics, Mechatronics.
Software engineering
Natural language processing (Computer science)
Software architecture
Algebra, Boolean.
Electronics and Microelectronics, Instrumentation.
Computer software
Processor Architectures.
Formal methods (Computer science)
Ubiquitous computing
Circuits and Systems.
Quantum computing.
Embedded computer systems.
Embedded computer systems
Aerospace Technology and Astronautics.
Computer hardware description languages
Engineering.
Computer Science.
Computer System Implementation.
Computer Hardware.
Simulation and Modeling.
Integrated circuits
Integrated circuits.