Automated generation of formal safety conditions from railway interlocking tables.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 713, doi. 10.1007/s10009-013-0295-9
- By:
- Publication type:
- Article
Works matching DE "RAILROAD interlocking system signals"
Results: 9
1
2
Techniques for modelling and verifying railway interlockings.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 685, doi. 10.1007/s10009-014-0304-7
- By:
- Publication type:
- Article
3
Experimental Research of Harmonic Spectrum of Currents at Traction Drive with PMSM.
- Published in:
- Radioengineering, 2011, v. 20, n. 2, p. 512
- By:
- Publication type:
- Article
4
Barriers to Resource Efficiency Innovations and Opportunities for Smart Regulations − the Case of Germany.
- Published in:
- Environmental Policy & Governance, 2014, v. 24, n. 5, p. 307, doi. 10.1002/eet.1632
- By:
- Publication type:
- Article
5
Definition of the Basic Aspects by Development of Universal Interfaces Between Relay and Microprocessor Systems.
- Published in:
- Transport & Engineering, 2009, v. 32, p. 111
- By:
- Publication type:
- Article
6
Safety Belt Use in Automobiles with Starter-Interlock and Buzzer-Light Reminder Systems.
- Published in:
- American Journal of Public Health, 1975, v. 65, n. 12, p. 1319, doi. 10.2105/AJPH.65.12.1319
- By:
- Publication type:
- Article
7
MODELING OF FUZZY LOGIC SYSTEM FOR INVESTMENT MANAGEMENT IN THE RAILWAY INFRASTRUCTURE.
- Published in:
- Technical Gazette / Tehnički Vjesnik, 2015, v. 22, n. 5, p. 1185, doi. 10.17559/TV-20140626104653
- By:
- Publication type:
- Article
8
Novel Online Safety Observer for Railway Interlocking System.
- Published in:
- Journal of Transportation Engineering, 2013, v. 139, n. 7, p. 719, doi. 10.1061/(ASCE)TE.1943-5436.0000554
- By:
- Publication type:
- Article
9
Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines.
- Published in:
- Journal of Modern Transportation, 2016, v. 24, n. 4, p. 277, doi. 10.1007/s40534-016-0119-1
- By:
- Publication type:
- Article