UB Paderborn / Katalog / Suche / in CDI

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...

Revisiting Synthesis of GR(1) Specifications

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.161-181

2011

Volltextzugriff (PDF)

An Efficient and Flexible Approach to Resolution Proof Reduction

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.182-196

2011

Volltextzugriff (PDF)

Reaching Coverage Closure in Post-silicon Validation

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.60-75

2011

Volltextzugriff (PDF)

Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.112-128

2011

Volltextzugriff (PDF)

Debugging Unrealizable Specifications with Model-Based Diagnosis

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.29-45

2011

Volltextzugriff (PDF)

vlogsl: A Strategy Language for Simulation-Based Verification of Hardware

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.129-145

2011

Volltextzugriff (PDF)

Variants of LTL Query Checking

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.76-92

2011

Volltextzugriff (PDF)

An Introduction to Test Specification in FQL

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.9-22

2011

Volltextzugriff (PDF)

Advances in Simultaneous Multithreading Testcase Generation Methods

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.146-160

2011

Volltextzugriff (PDF)

SAT-Solving Based on Boundary Point Elimination

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.93-111

2011

Volltextzugriff (PDF)

Parallelizing a Symbolic Compositional Model-Checking Algorithm

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.46-59

2011

Volltextzugriff (PDF)

Reflections on Spartan Programming and the No-Debugger Principle

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.5-8

2011

Volltextzugriff (PDF)

Special Session on Debugging

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.24-28

2011

Volltextzugriff (PDF)

Testing Concurrent Software

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.4-4

2011

Volltextzugriff (PDF)

Verification Failures: What to Do When Things Go Wrong

Hardware and Software: Verification and Testing, 2011, Vol.6504, p.23-23

2011

Volltextzugriff (PDF)

Individuals in B2B marketing - An introduction to the book

Individuals in B2B Marketing, 2024, Vol.1, p.1-8

1, 2024

Volltextzugriff (PDF)

Macromolecular Design by Interchange of Xanthates: Background, Design, Scope and Applications

Handbook of RAFT Polymerization, 2008, p.373-421

2008

Volltextzugriff (PDF)

The Mechanism and Kinetics of the RAFT Process: Overview, Rates, Stabilities, Side Reactions, Product Spectrum and Outstanding Challenges

Handbook of RAFT Polymerization, 2008, p.51-104

2008

Volltextzugriff (PDF)

RAFT Polymerization in Homogeneous Aqueous Media: Initiation Systems, RAFT Agent Stability, Monomers and Polymer Structures

Handbook of RAFT Polymerization, 2008, p.235-284

2008

Volltextzugriff (PDF)