PlumX Metrics
Embed PlumX Metrics

Formal Methods for Distributed Control Systems of Future Railways

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 1611-3349, Vol: 13704 LNCS, Page: 243-245
2022
  • 1
    Citations
  • 0
    Usage
  • 0
    Captures
  • 0
    Mentions
  • 0
    Social Media
Metric Options:   Counts1 Year3 Year

Metrics Details

  • Citations
    1

Conference Paper Description

The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.

Provide Feedback

Have ideas for a new metric? Would you like to see something else here?Let us know