Applying SOFL to a Railway Interlocking System in Industry.

Juan Luo Shaoying Liu Yanqin Wang Tingliang Zhou

Published in: SOFL+MSVL (2016)

Keyphrases

case study
user interface
database
real time
data sets
database systems
mobile devices