0
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      Formalizing a subset of ERTMS/ETCS specifications for verification purposes

      Transportation Research Part C: Emerging Technologies
      Elsevier BV

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Journal
          Transportation Research Part C: Emerging Technologies
          Transportation Research Part C: Emerging Technologies
          Elsevier BV
          0968090X
          May 2014
          May 2014
          : 42
          : 60-75
          Article
          10.1016/j.trc.2014.02.002
          7d493f00-a091-4444-9d24-b55a91d49755
          © 2014
          History

          Comments

          Comment on this article