A formal design of the hybrid European rail traffic management system.

Paolo Gaspari Elvinia Riccobene Angelo Gargantini

Published in: ECSA (Companion) (2019)

Keyphrases

management system
case study
design process
building blocks
database
real time
user interface
database management systems
formal model