» Formal System Verification
State-of the-Art and Future Trends
|
 |
|
Publisher: |
|
Springer Verlag |
Author:
|
|
Rolf Drechsler |
| Format: |
|
Hardcover, eBook |
Year:
|
|
2017
|
|
» Computer: Wie funktionieren Smartphone, Tablet & Co.?
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Rolf Drechsler, Andrea Fink, Jannis Stoppe |
| Format: |
|
Taschenbuch |
Year:
|
|
2017
|
|
» Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016
|
 |
|
Publisher: |
|
ACM |
Author:
|
|
Edgar E. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu |
| Format: |
|
|
Year:
|
|
2016
|
|
» Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Daniel Große, Rolf Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2017
|
|
» Automatic Methods for the Refinement of System Models
|
 |
|
Publisher: |
|
Springer International Publishing |
Author:
|
|
Julia Seiter, Robert Wille, Rolf Drechsler |
| Format: |
|
Taschenbuch |
Year:
|
|
2016
|
|
» Reversible and Quantum Circuits
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Nabila Abdessaied, Rolf Drechsler |
| Format: |
|
eBook, Hardcover |
Year:
|
|
2016
|
|
» Languages, Design Methods, and Tools for Electronic System Design
|
 |
|
Publisher: |
|
Springer International Publishing (Verlag) |
Author:
|
|
Rolf Drechsler, Robert Wille (Hrsg.) |
| Format: |
|
Buch | Hardcover |
Year:
|
|
2016
|
|
» Lightweight Cryptography for Security and Privacy - 4th International Workshop (LightSec 2015)
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Tim Güneysu, Gregor Leander, Amir Moradi (Eds.) |
| Format: |
|
Softcover, eBook |
Year:
|
|
2016
|
|
» Cryptographic Hardware and Embedded Systems (CHES 2015)
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Tim Güneysu, Helena Handschuh (Eds.) |
| Format: |
|
Softcover, eBook |
Year:
|
|
2015
|
|
» Synthese- und Optimierungsverfahren für zukünftige Computerparadigmen
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Robert Wille,
Oliver Keszöcze,
Rolf Drechsler (Hrsg.) |
| Format: |
|
gebunden |
Year:
|
|
2015
|
|
» Formal Modeling and Verification of Cyber-Physical Systems
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Rolf Drechsler, Ulrich Kühne (Hrsg.) |
| Format: |
|
eBook, Softcover |
Year:
|
|
2015
|
|
» Formal Specification Level
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Mathias Soeken, Rolf Drechsler |
| Format: |
|
eBook, Hardcover |
Year:
|
|
2014
|
|
» Debug Automation from Pre-Silicon to Post-Silicon
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Mehdi Dehbashi, Görschwin Fey |
| Format: |
|
eBook, Hardcover |
Year:
|
|
2015
|
|
» Aspekte der Technischen Informatik
|
 |
|
Publisher: |
|
MV-Wissenschaft |
Author:
|
|
Rolf Drechsler (Hrsg.) |
| Format: |
|
Softcover |
Year:
|
|
2014
|
|
» Test digitaler Schaltkreise
|
 |
|
Publisher: |
|
Oldenbourg |
Author:
|
|
Stephan Eggersglüß, Görschwin Fey, Ilia Polian |
| Format: |
|
Softcover |
Year:
|
|
2014
|
|
» Auf dem Weg zum Quantencomputer - Entwurf reversibler Logik
|
 |
|
Publisher: |
|
Shaker Verlag |
Author:
|
|
Rolf Drechsler, Mathias Soeken, Robert Wille (Hrsg.) |
| Format: |
|
gebunden |
Year:
|
|
2012
|
|
» High Quality Test Pattern Generation and Boolean Satisfiability
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Stephan Eggersglüß, Rolf Drechsler |
| Format: |
|
Hardcover |
Year:
|
|
2012
|
|
» Applications of Evolutionary Computation
Applications of Evolutionary Computation
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Cecilia Di Chio, Anthony Brabazon, Gianni A. Di Caro, Rolf Drechsler, Muddassar Farooq, Jörn Grahl, Gary Greenfield, Christian Prins, Juan Romero und Giovanni Squillero, et al. |
| Format: |
|
Gebunden |
Year:
|
|
2011
|
|
» Towards a Design Flow for Reversible Logic
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Robert Wille, Rolf Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2010
|
|
» Debugging at the Electronic System Level
|
 |
|
Publisher: |
|
Springer |
Author:
|
|
Frank Rogin, Rolf Drechsler |
| Format: |
|
Gebunden |
Year:
|
|
2010
|
|
