Digital Shadows for Remote Automotive SW Verification.

Robert Kaster Di Ma

Published in: CPS-IoT Week Workshops (2023)

Keyphrases

real time
model checking
automotive industry
digital content
tablet pc
artificial intelligence
image segmentation
light source
formal verification
digital imaging
shadow detection
fingerprint verification
remote access
adaptive learning systems