Font Size:
a
A
A
Keyword [Equivalence]
Result: 41 - 60 | Page: 3 of 10
41.
On Similarity Between Preferential Structures
42.
Synchronous Lattice-valued Automata And Synchronous Lattice-valued Finite Automata
43.
Research On Verification Of Controller Synthesis In Design Automation Of Digital Systems
44.
Rearch On Plane Shape Description And Recognition
45.
Bisimulation Equivalence Verification In Security Protocols
46.
The Building And Drawing Of Geological Isoline Map
47.
Research On Verification Of High Reliability Microprocessor
48.
System Architecture Of Equivalence Checking System Of Integrate Circuits And Implementation
49.
An Equivalence Checking Method For Circuits With Black Boxes Based On Logic Cone And SAT
50.
Dynamic Simulation And Research On Control Method Of Marine Boiler-Turbine Unit
51.
Research On Decomposition Of Decision Information System Based On Rough Set Theory
52.
Researching On FPGA Verification Method Of Full-custom Memory Circuit
53.
On Testing Equivalences For Asymmetric And Asynchronous Asymmetric χ-calculus
54.
Research And Application For Object-Oritented Program Equivalence Transformation Technology
55.
The Design And Application Of Association Mining Matrix Algorithm Based On Equivalence Class
56.
The Research Of Data Warehouse Model Based On Theory Of Quotient Space
57.
The Equivalence Checking For Partial Implementations Of Sequential Circuits
58.
Weak Bisimulation Properties Of A Higher-Order Process Algebra
59.
Research On Verification Methodology Of Semi-Custom And Full-Custom Mixed Design Flow
60.
Research On Dual Control With Probing For The Minimum Variance Problems
<<First
<Prev
Next>
Last>>
Jump to
