Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...2015 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, p.410-411
2015
Volltextzugriff (PDF)
Hardware and Software: Verification and Testing, 2016, Vol.10028, p.34-48
2016
Volltextzugriff (PDF)
2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2014, p.1-8
2014
Volltextzugriff (PDF)
Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design, 2014, p.1-8
2014
Volltextzugriff (PDF)
Languages, Design Methods, and Tools for Electronic System Design, 2017, Vol.454, p.15-38
- Aleksandrowicz, Gadi
- Arbel, Eli
- Bloem, Roderick
- ter Braak, Timon D.
- Devadze, Sergei
- Fey, Goerschwin
- Jenihhin, Maksim
- Jutman, Artur
- Kerkhoff, Hans G.
- Könighofer, Robert
- Koyfman, Shlomit
- Malburg, Jan
- Moran, Shiri
- Raik, Jaan
- Rauwerda, Gerard
- Riener, Heinz
- Röck, Franz
- Shibin, Konstantin
- Sunesen, Kim
- Wan, Jinbo
- Zhao, Yong
- Fummi, Franco
- Wille, Robert
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Hardware & Architecture
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Adaptive Test Strategy Generation
- Algorithm Design And Analysis
- Automatic Test Case Generation
- Checker Minimization
- Checker Qualification
- Circuit Faults
- Circuits & Components
- Companies
- Computer Architecture & Logic Design
- Computer Programming / Software Development
- Concurrent Online Checkers
- Counterexample-Guided Inductive Synthesis
- Cps
- Cross-Layered Fault Management
- Cyber-Physical Systems