Verification of a Radio-based signaling system using the STATEMATE verification environment
Formal Methods in System Design
Feedforward Neural Networks Based Input-Output Models for RailwayCarriage System Identification
Neural Processing Letters
Simulating and Analyzing Railway Interlockings in ExSpect
IEEE Parallel & Distributed Technology: Systems & Technology
Knowledge-Based Technology for Controlling Railway Stations
IEEE Expert: Intelligent Systems and Their Applications
Genetic Improvement of Railway Timetables
PPSN III Proceedings of the International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature
Formalising British Rail's Signalling Rules
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Validation of a Railway Interlocking Model
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A Formal Specification of an Automatic Train Protection System
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
A Theory of Distributing Train Rescheduling
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Computer Elaboration of Time- Table for Single Railway Line
Proceedings of the 7th IFIP Conference on Optimization Techniques: Modeling and Optimization in the Service of Man, Part 1
Experimental Evaluation Of Computer-Based Railway Control Systems
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
A calculus of hazard for railway signalling
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
The scheduling of rail at union pacific railroad
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Fuzzy neural networks for machine maintenance in mass transit railway system
IEEE Transactions on Neural Networks
Industrial-strength certified SAT solving through verified SAT proof checking
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Original article: A component-based topology model for railway interlocking systems
Mathematics and Computers in Simulation
| Hi-index | 0.00 |
This paper names railway applications, where the basis of stable, underlying railway formal domain models can be successfully used. It is done with big care of a uniform treatment of two diverse issues of railway system: Allocation & Scheduling and Monitoring & Control applications. This uniform treatment allows us later on better, easier and deeper integrations of these applications.