Login / Signup
Topological relation expression and verification of symmetrical parallel mechanism based on the evolution of chemical molecule.
Litao He
Hairong Fang
Dan Zhang
Published in:
Robotica (2023)
Keyphrases
</>
drug discovery
model checking
parallel implementation
parallel processing
signature verification
formal verification
image segmentation
shared memory
computer architecture
data sets
selection mechanism
asynchronous circuits
verification method