Verification of the European Rail Traffic Management System in Real-Time Maude.
Ulrich BergerPhillip JamesAndrew LawrenceMarkus RoggenbachMonika SeisenbergerPublished in: Sci. Comput. Program. (2018)
Keyphrases
- real time
- management system
- high speed
- real time traffic
- traffic monitoring
- low cost
- high speed networks
- traffic information
- intelligent transportation systems
- traffic flow
- traffic density
- database
- summer school
- traffic management
- traffic conditions
- vision system
- decision support system
- control system
- neural network
- traffic congestion
- road network
- model checking
- database management systems
- database systems