Results 291 to 300 of about 1,456,568 (303)

An Application of Cartan's Equivalence Method to Hirschowitz's Conjecture on the Formal Principle

Annals of Mathematics, 2019
Hwang Jun-muk
exaly  

On Form, Formalism and Equivalence

1990
openaire   +1 more source

Basic Equivalence of the Four Formalizations

2021
openaire   +1 more source

On the Formal Equivalence of Tubes and Transistors

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

Dynamic or Formal Equivalence? A Response

Theological Studies, 1990
openaire   +1 more source

A Formal Method for Providing Temporal Equivalence in Binary-to-Binary Translation of Real-Time Applications

2000
Z Segall
exaly  

Formal Equivalence Checking Between High-Level and RTL Hardware Designs

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

Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against Their Formal Specifications

2017
Mehran Goli, Rolf Drechsler, Jannis Stoppe   +2 more
exaly  

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

2004
exaly  

Formalizing the Equivalence of Formal Systems in Propositional Logic in Coq

Luoping Cui, Wensheng Yu
openaire   +1 more source