A Simulation Based Approach to Digital Twin's Interoperability Verification & Validation.

Mamamdou K. Traoré Simon Gorecki Yves Ducq

Published in: I-ESA Workshops (2022)

Keyphrases

model checking
information systems
web services
metadata
digital media
database
formal verification
semantic web
digital content
public administration
digital repositories
asynchronous circuits
formal analysis
formal methods
e government
learning environment
neural network