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

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings

1, 1998

Volltextzugriff (PDF)

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

1995

Volltextzugriff (PDF)

Sovrin: An Identity Metasystem for Self-Sovereign Identity

Frontiers in blockchain, 2021-07, Vol.4

Windley, Phillip J.

2021

Volltextzugriff (PDF)

Multisource Digital Identity

IEEE internet computing, 2019-09, Vol.23 (5), p.8-17

Windley, Phillip J.

2019

Volltextzugriff (PDF)

Formal methods in computer-aided design: second international conference, FMCAD '98, Palo Alto, CA, USA November 4-6, 1998 : proceedings

2006

Volltextzugriff (PDF)

Formal modeling and verification of microprocessors

IEEE transactions on computers, 1995-01, Vol.44 (1), p.54-72

Windley, P.J.

1995

Volltextzugriff (PDF)

A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic

Formal Methods in Computer-Aided Design, 2002, p.82-99

2002

Volltextzugriff (PDF)

BDDNOW: A Parallel BDD Package

Formal Methods in Computer-Aided Design, 2002, p.501-507

2002

Volltextzugriff (PDF)

Symbolic Simulation of the JEM1 Microprocessor

Formal Methods in Computer-Aided Design, 2002, p.321-333

2002

Volltextzugriff (PDF)

The Formal Design of 1M-Gate ASICs

Formal Methods in Computer-Aided Design, 2002, p.49-63

2002

Volltextzugriff (PDF)

Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution

Formal Methods in Computer-Aided Design, 2002, p.2-17

2002

Volltextzugriff (PDF)

Using reputation to augment explicit authorization

Proceedings of the 2007 ACM workshop on Digital identity management, 2007, p.72-81

2007

Volltextzugriff (PDF)

An Assume-Guarantee Rule for Checking Simulation

Formal Methods in Computer-Aided Design, 2002, p.421-431

2002

Volltextzugriff (PDF)

A Performance Study of BDD-Based Model Checking

Formal Methods in Computer-Aided Design, 2002, p.255-289

2002

Volltextzugriff (PDF)

Model Checking VHDL with CV

Formal Methods in Computer-Aided Design, 2002, p.508-514

2002

Volltextzugriff (PDF)

Bisimulation Minimization in an Automata-Theoretic Verification Framework

Formal Methods in Computer-Aided Design, 2002, p.115-132

2002

Volltextzugriff (PDF)

Verification of Data-Insensitive Circuits: An In-Order-Retirement Case Study

Formal Methods in Computer-Aided Design, 2002, p.351-368

2002

Volltextzugriff (PDF)

A theory of generic interpreters

Correct Hardware Design and Verification Methods, 2005, p.122-134

2005

Volltextzugriff (PDF)

Symbolic Model Checking Visualization

Formal Methods in Computer-Aided Design, 2002, p.290-302

2002

Volltextzugriff (PDF)

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem

Formal Methods in Computer-Aided Design, 2002, p.237-254

2002

Volltextzugriff (PDF)

Techniques for Implicit State Enumeration of EFSMs

Formal Methods in Computer-Aided Design, 2002, p.469-481

2002

Volltextzugriff (PDF)

Automatic Verification of Mixed-Level Logic Circuits

Formal Methods in Computer-Aided Design, 2002, p.133-148

2002

Volltextzugriff (PDF)

Input Elimination and Abstraction in Model Checking

Formal Methods in Computer-Aided Design, 2002, p.304-320

2002

Volltextzugriff (PDF)

Combined Formal Post- and Presynthesis Verification in High Level Synthesis

Formal Methods in Computer-Aided Design, 2002, p.222-236

2002

Volltextzugriff (PDF)

Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations

Formal Methods in Computer-Aided Design, 2002, p.64-81

2002

Volltextzugriff (PDF)

1 – 25 von 146

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(45)
Mit Volltextzugriff
(143)

Publikationsform

2 weitere anzeigen...

Weniger anzeigen...

Sprache

Englisch
(146)
Japanisch
(1)

Erscheinungsjahr

n.n

Zeitschrift / Serie

2 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Formal Methods in Computer-Aided Design: Second International Conference, FMCAD' 98 Palo Alto, CA, USA, November 4-6, 1998 Proceedings

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11–14, 1995 Proceedings

Sovrin: An Identity Metasystem for Self-Sovereign Identity

Multisource Digital Identity

Formal methods in computer-aided design: second international conference, FMCAD '98, Palo Alto, CA, USA November 4-6, 1998 : proceedings

Formal modeling and verification of microprocessors

A Tutorial on Stålmarck’s Proof Procedure for Propositional Logic

BDDNOW: A Parallel BDD Package

Symbolic Simulation of the JEM1 Microprocessor

The Formal Design of 1M-Gate ASICs

Reducing Manual Abstraction in Formal Verification of Out- of- Order Execution

Using reputation to augment explicit authorization

An Assume-Guarantee Rule for Checking Simulation

A Performance Study of BDD-Based Model Checking

Model Checking VHDL with CV

Bisimulation Minimization in an Automata-Theoretic Verification Framework

Verification of Data-Insensitive Circuits: An In-Order-Retirement Case Study

A theory of generic interpreters

Symbolic Model Checking Visualization

Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem

Techniques for Implicit State Enumeration of EFSMs

Automatic Verification of Mixed-Level Logic Circuits

Input Elimination and Abstraction in Model Checking

Combined Formal Post- and Presynthesis Verification in High Level Synthesis

Design of Experiments for Evaluation of BDD Packages Using Controlled Circuit Mutations

Suchergebnisse filtern