Works matching DE "SYSTEM safety"


Results: 1936
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11

    My View...

    Published in:
    Computing & Control Engineering, 2004, v. 15, n. 3, p. 6, doi. 10.1049/cce:20040311
    By:
    • Bond, Andrew
    Publication type:
    Article
    12
    13
    14
    15
    16

    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
    17
    18

    What can you verify and enforce at runtime?

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 349, doi. 10.1007/s10009-011-0196-8
    By:
    • Falcone, Yliès;
    • Fernandez, Jean-Claude;
    • Mounier, Laurent
    Publication type:
    Article
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50