Review of main safety concepts at railroad switching station; Boolean representation of security within given track zone; basic principles of theory of phi-Boolean functions; definition and study of functions attached to various track zones; study of functions linked to itineraries yields representation of use of track zones within itinerary; verification of switching operations is therefore effected by comparison of Boolean functions.
On use of phi-Boolean functions -- Verification of railroad switching programs
Sur une utilisation des fonctions phi-Booleennes -- Verification des programmes d'enclenchement de chemin de fer
Automatisme ; 12 , n 9
1967
6 pages
Article (Journal)
French
© Metadata Copyright Elsevier B. V. All rights reserved.
Federal Railroad Administration Trespasser Programs
British Library Conference Proceedings | 1997
|Engineering Index Backfile | 1894
Modern railroad switching equipment
Engineering Index Backfile | 1936
|Engineering Index Backfile | 1894
|Automatic railroad signaling and switching
Engineering Index Backfile | 1949
|