Formally verified animation for RoboChart using interaction trees.

Kangfeng Ye Simon Foster Jim Woodcock

Published in: J. Log. Algebraic Methods Program. (2024)

Keyphrases

human computer interaction
decision trees
computer graphics
user interface
human interaction
neural network
information systems
user interaction
motion capture
web pages
image processing
multiscale
data structure
expert systems
collaborative learning