Works matching DE "AUTOMATIC train control"


Results: 374
    1
    2
    3
    4
    5
    6
    7

    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:
    • James, Phillip;
    • Moller, Faron;
    • Nguyen, Hoang;
    • Roggenbach, Markus;
    • Schneider, Steve;
    • Treharne, Helen
    Publication type:
    Article
    8

    Formal methods for railway control systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 6, p. 643, doi. 10.1007/s10009-014-0342-1
    By:
    • Fantechi, Alessandro;
    • Flammini, Francesco;
    • Gnesi, Stefania
    Publication type:
    Article
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43

    Translation Alignment with Ugarit.

    Published in:
    Information (2078-2489), 2022, v. 13, n. 2, p. N.PAG, doi. 10.3390/info13020065
    By:
    • Yousef, Tariq;
    • Palladino, Chiara;
    • Shamsian, Farnoosh;
    • Foradi, Maryam
    Publication type:
    Article
    44
    45
    46
    47
    48
    49
    50