Formal Approach to Digital Twin Specification.

Mama Diakité Mamadou Kaba Traoré

Published in: ANNSIM (2023)

Keyphrases

formal specification
formal methods
formal language
specification languages
high level
requirements specification
reactive systems
formal languages
operational semantics
model checking
digital video
formal verification
real time
video sequences
information systems
computer vision
databases