Towards Domain-Specific Formal Specification Languages for Railway Control Systems
Special Session on Formal Methods in Transport - Notes of the Editor
Dynamic Simulation of Traffic and Its Environmental Impacts
Traffic Control on Airport Movement Areas - State of the Development
Non Linear Predictive Controller for an Electromagnetic Suspension System
Progression Optimization in Priority Arterial Signal Networks
On-Board Turnout in a Flexible Operation of Rail-Guided Transport System
Method for the Development of a Special Railway Interlocking Subsystem
Modern Procedures for the Definition of Safety and Availability Requirements
New Control Method of On-Board ATP System of Shinkansen Trains
ALOIS - An Integrated Train Positioning and Information System
Methodology and Algorithms for Railway Crew Management
Optimization of Traffic Flow Through the Use of Running Lights
An Internet Based On-Line Architecture for Real-Time Traffic Systems Control
Combining Traffic Assignment and Adaptive Control in a Dynamic Traffic Management System
Modelling the Generalized Railway Crossing with Hybrid Abstract State Machines
VDM Specification of an Interlocking System and a Simulator for Its Validation