AUTOMATIC FAULT-TREE GENERATION AS A SUPPORT FOR SAFETY STUDIES OF RAILWAY INTERLOCKING SYSTEMS.

No abstract provided.

  • Supplemental Notes:
    • INCLUDES BIBLIOGRAPHICAL REFERENCES (P. 442) CONTROL IN TRANSPORTATION SYSTEMS 2000: A PROCEEDINGS VOLUME FROM THE 9TH IFAC SYMPOSIUM, BRAUNSCHWEIG, GERMANY, 13-15 JUNE 2000. VOL. 2, P. 437-442. OXFORD: PERGAMON, 2001.
  • Authors:
    • SZABO, G
    • TARNAI, G
  • Publication Date: 2001

Language

  • English

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 00945244
  • Record Type: Publication
  • Source Agency: UC Berkeley Transportation Library
  • Files: TLIB
  • Created Date: Nov 6 2002 12:00AM