Login / Signup
Digital Twin for Verification and Validation of Industrial Automation Systems - a Survey.
Andreas Löcklin
Manuel Müller
Tobias Jung
Nasser Jazdi
Dustin White
Michael Weyrich
Published in:
ETFA (2020)
Keyphrases
</>
industrial applications
model checking
technology transfer
digital straight line
learning environment
distributed systems
digital content
digital media
formal methods
formal analysis
digital curves
digital technologies
high security
model validation
digital topology
industrial environment