Works matching DE "LINEAR time invariant systems"


Results: 612
    1
    2
    3
    4
    5

    Bounded synthesis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 519, doi. 10.1007/s10009-012-0228-z
    By:
    • Finkbeiner, Bernd;
    • Schewe, Sven
    Publication type:
    Article
    6

    LTL generalized model checking revisited.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 571, doi. 10.1007/s10009-010-0169-3
    By:
    • Godefroid, Patrice;
    • Piterman, Nir
    Publication type:
    Article
    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

    Prediction Intervals for ARIMA Models.

    Published in:
    Journal of Business & Economic Statistics, 2001, v. 19, n. 2, p. 217, doi. 10.1198/073500101316970430
    By:
    • Snyder, Ralph D.;
    • Ord, J. Keith;
    • Koehler, Anne B.
    Publication type:
    Article
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47
    48
    49
    50