Sign in

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

Paolo GaspariElvinia RiccobeneAngelo 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