A Formal IDE for Railways: Research Challenges.

Roberto Cavada Alessandro Cimatti Alberto Griggio Angelo Susi

Published in: SEFM Workshops (2022)

Keyphrases

lessons learned
real world
databases
neural network
key issues
technical challenges
open issues
database
information retrieval
multimedia
multiscale
data structure
information technology
data model
formal model
formal language