Login / Signup
Formally Verified Animation for RoboChart using Interaction Trees.
Kangfeng Ye
Simon Foster
Jim Woodcock
Published in:
CoRR (2023)
Keyphrases
</>
decision trees
human computer interaction
user interaction
information systems
search algorithm
multi touch
tree models