LTS Semantics Model of Event-B Synchronization Control Flow Design Patterns.

Han Peng Chenglie Du Lei Rao Zhouzhou Liu

Published in: J. Inf. Process. Syst. (2019)

Keyphrases

control flow
process model
design patterns
database systems
knowledge representation
software engineering
relational databases
error rate
software systems
data flow