Works matching IS 14332779 AND DT 2015 AND VI 17 AND IP 1

Results: 7
    1

    Real-time specifications.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 17, doi. 10.1007/s10009-013-0286-x
    By:
    • David, Alexandre;
    • Larsen, Kim;
    • Legay, Axel;
    • Nyman, Ulrik;
    • Traonouez, Louis-Marie;
    • Wąsowski, Andrzej
    Publication type:
    Article
    2

    Termination proofs for linear simple loops.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 47, doi. 10.1007/s10009-013-0288-8
    By:
    • Chen, Hong;
    • Flur, Shaked;
    • Mukhopadhyay, Supratik
    Publication type:
    Article
    3

    A systematic review of state-based test tools.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 59, doi. 10.1007/s10009-013-0291-0
    By:
    • Shafique, Muhammad;
    • Labiche, Yvan
    Publication type:
    Article
    4
    5
    6

    Testing abstract behavioral specifications.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 1, p. 107, doi. 10.1007/s10009-014-0301-x
    By:
    • Wong, Peter;
    • Bubel, Richard;
    • Boer, Frank;
    • Gómez-Zamalloa, Miguel;
    • Gouw, Stijn;
    • Hähnle, Reiner;
    • Meinke, Karl;
    • Sindhu, Muddassar
    Publication type:
    Article
    7