Developing railway interlocking systems with session types and Event-B.

Tibor Kiss Katalin Tunde Janosi-Rancz

Published in: SACI (2016)

Keyphrases

neural network
database systems
expert systems
data sets
artificial intelligence
social networks
decision making
metadata