Results 301 to 303 of about 1,456,568 (303)
Some of the next articles are maybe not open access.

Janus: A Novel Use of Formal Verification for Targeted Behavioral Equivalence

2008
exaly  

Embedded Tutorial: Formal Equivalence Checking Between System-Level Models and RTL

2005
exaly  

2 Thematic and Formal Equivalence

openaire   +1 more source
translation
dynamic equivalence
mathematics
functional equivalence
equivalence
culture
bible translation
formal verification
formal concept analysis
previous   29  30  31  

Home - About - Disclaimer - Privacy