Works matching DE "LANDING gear"


Results: 187
    1
    2
    3
    4
    5

    Wind-tunnel tests of a tilt-rotor aircraft.

    Published in:
    Aeronautical Journal, 2011, v. 115, n. 1167, p. 315, doi. 10.1017/S0001924000005790
    By:
    • Gibertini, G.;
    • Auteri, F.;
    • Campanardi, G.;
    • Macchi, C.;
    • Zanotti, A.;
    • Stabellini, A.
    Publication type:
    Article
    6
    7
    8

    Validation of the ABZ landing gear system using ProB.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 187, doi. 10.1007/s10009-015-0395-9
    By:
    • Ladenberger, Lukas;
    • Hansen, Dominik;
    • Wiegard, Harald;
    • Bendisposto, Jens;
    • Leuschel, Michael
    Publication type:
    Article
    9
    10

    Environment-driven reachability for timed systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 229, doi. 10.1007/s10009-015-0401-2
    By:
    • Teodorov, Ciprian;
    • Dhaussy, Philippe;
    • Roux, Luka
    Publication type:
    Article
    11
    12
    13

    Modeling a landing gear system in Event-B.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 2, p. 167, doi. 10.1007/s10009-015-0391-0
    By:
    • Mammar, Amel;
    • Laleau, Régine
    Publication type:
    Article
    14
    15
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43

    Visual air navigation siting.

    Published in:
    Journal of Advanced Transportation, 2006, v. 40, n. 3, p. 295, doi. 10.1002/atr.5670400305
    By:
    • Xiao, Xiaosong;
    • Litsheim, Scott
    Publication type:
    Article
    44
    45
    46
    47
    48
    49
    50