Works matching DE "AVIONICS"


Results: 363
    1
    2
    3

    Putting COTS back in the box.

    Published in:
    Electronics Systems & Software, 2006, v. 4, n. 6, p. 26, doi. 10.1049/ess:20060604
    By:
    • Parkinson, P.;
    • Kinnan, L.
    Publication type:
    Article
    4
    5
    6
    7
    8

    Monitoring with verified guarantees.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 593, doi. 10.1007/s10009-023-00712-3
    By:
    • Baumeister, Jan;
    • Dauer, Johann C.;
    • Finkbeiner, Bernd;
    • Schirmer, Sebastian
    Publication type:
    Article
    9
    10
    11

    Formal methods and tools for industrial critical systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 3, p. 325, doi. 10.1007/s10009-022-00660-4
    By:
    • ter Beek, Maurice H.;
    • Larsen, Kim G.;
    • Ničković, Dejan;
    • Willemse, Tim A. C.
    Publication type:
    Article
    12
    13
    14
    15
    16

    Constructive model-based analysis for safety assessment.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 673, doi. 10.1007/s10009-012-0238-x
    By:
    • Gomes, Adriano;
    • Mota, Alexandre;
    • Sampaio, Augusto;
    • Ferri, Felipe;
    • Watanabe, Edson
    Publication type:
    Article
    17
    18
    19
    20
    21
    22
    23
    24

    机载多芯屏蔽线束的传导敏感度研究.

    Published in:
    Electronic Science & Technology, 2025, v. 38, n. 5, p. 89, doi. 10.16180/j.cnki.issn1007-7820.2025.05.013
    By:
    • 郗松岳;
    • 徐琦;
    • 李继成;
    • 李天傲;
    • 刘亮;
    • 路宏敏
    Publication type:
    Article
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50