Results 251 to 260 of about 39,507 (262)

Dynamic or Formal Equivalence? A Response

Theological Studies, 1990
openaire   +1 more source

A Generalized Normal Form and Formal Equivalence of Two-Dimensional Systems with Quadratic Zero Approximation: I

Differential Equations, 2003
Basov V V, V V Basov
exaly  

On the Formal Equivalence of Tubes and Transistors

IRE Transactions on Broadcast and Television Receivers, 1962
openaire   +1 more source

A generalized normal form and formal equivalence of two-dimensional systems with quadratic zero approximation: IV

Differential Equations, 2009
Basov V V, V V Basov
exaly  

A Generalized Normal Form and Formal Equivalence of Two-Dimensional Systems with Quadratic Zero Approximation: II

Differential Equations, 2005
Basov V V, V V Basov
exaly  

Formal Verification for Nonlinear Analog Systems: Approaches to Model and Equivalence Checking

2004
Lars Hedrich
exaly  

A Case Study on Formal Equivalence Verification Between a C/C++ Model and Its RTL Design

Lecture Notes in Computer Science
Maurizio Martina, Martina Maurizio
exaly  

Formal equivalence checking between high-level and RTL hardware designs

2013
Wang Jiang Chau, CARLOS Ivan Castro Marquez, Marius Strum   +2 more
exaly  

Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq

Luoping Cui, Wensheng Yu
openaire   +1 more source

A formal method for providing temporal equivalence in binary-to-binary translation of real-time applications

Z Segall
exaly