Works matching DE "BUFFER storage (Computer science)"


Results: 336
    1
    2
    3
    4

    Putting it all together – Formal verification of the VAMP.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 4/5, p. 411, doi. 10.1007/s10009-006-0204-6
    By:
    • Beyer, Sven;
    • Jacobi, Christian;
    • Kröning, Daniel;
    • Leinenbach, Dirk;
    • Paul, Wolfgang
    Publication type:
    Article
    5
    6
    7
    8
    9
    10
    11
    12
    13
    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
    44
    45
    46
    47
    48
    49
    50