A Time Refinement Framework Based on iUML-B State Machine.

Han Peng Xiaoli Zhang Guozhen Cao Zhouzhou Liu Yuejuan Jing Lei Rao

Published in: Sci. Program. (2021)

Keyphrases

state machine
lightweight
information retrieval
e learning
case study
relational databases
finite state machines
framework enables