Merging Railway Standard Notations in a Formal DSL-Based Framework.

Asfand Yar Akram Idani Simon Collart Dutilleul

Published in: ECSA Companion (2020)

Keyphrases

formal model
artificial intelligence
theoretical framework
database
databases
neural network
case study
image sequences
multi class
object oriented
lightweight
main contribution
levels of abstraction