cPV - Simulation and Verification for Membrane Computing.

Yezhou Liu Jing Sun Radu Nicolescu Hai Wang

Published in: QRS (2022)

Keyphrases

simulation model
search engine
model checking
data mining
expert systems
digital libraries
formal verification
collision detection
simulation models
high fidelity
face verification
database
multiscale
database systems
three dimensional
knowledge base
real world