Computer-assisted specification of asynchronous interfaces with non-deterministic behavior.

Nicholas V. Lewchenko

Published in: SPLASH (Companion Volume) (2017)

Keyphrases

computer assisted
computer aided
intraoperative
foreign language
state machines
asynchronous circuits
user interface
image analysis
human behavior
vocabulary learning
high level
state transition
project based learning
state machine
surgical training