search result

Cover von Evolutionary algorithms for embedded system design
Search for this author
Year: 2003
Publisher: Boston, Kluwer
Series: Genetic algorithms and evolutionary computation; 10
Media group: MONOGRAPHIE
Cover von Formal System Verification
State-of the-Art and Future Trends
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von High Quality Test Pattern Generation and Boolean Satisfiability
Author: Eggersglüß, Stephan; Drechsler, Rolf Search for this author
Year: 2012
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Debugging at the Electronic System Level
Author: Rogin, Frank; Drechsler, Rolf Search for this author
Year: 2010
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
Cover von Advanced formal verification
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Media group: MONOGRAPHIE
Cover von Advanced Logic Synthesis
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von In-Memory-Computing
Synthese und Optimierung
Author: Shirinzadeh, Saeideh; Drechsler, Rolf Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Better Early than Never
Author: Pieper, Pascal; Drechsler, Rolf Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Erweiterte virtuelle Prototypen für heterogene System
Author: Hassan., Muhammad; Große, Daniel; Drechsler, Rolf Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Media group: MONOGRAPHIE
Cover von Design für Testbarkeit, Fehlersuche und Zuverlässigkeit
Maßnahmen der nächsten Generation unter Verwendung formaler Techniken
Author: Huhn, Sebastian; Drechsler, Rolf Search for this author
Year: 2023
Publisher: Berlin, Springer
Media group: MONOGRAPHIE
OPEN V 11.1.0.0