Works matching DE "SYSTEM safety"


Results: 1941
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16

    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
    17
    18
    19
    20
    21

    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
    22
    23

    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
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    44
    45
    46
    47
    48
    49
    50