Creation and Verification of Digital Twins in Cloud Production.

Maksim V. Kubrikov Mikhail V. Saramud Angelina Petetskaya Evgeniy Talay

Published in: CoRR (2021)

Keyphrases

cloud computing
model checking
digital content
verification method
semiconductor manufacturing
digital objects
production planning
asynchronous circuits
formal verification
circuit design
computing platform
face verification
digital media
data sets
digital libraries
e learning
genetic algorithm
neural network