Works matching IS 14332779 AND DT 2003 AND VI 4 AND IP 4

Results: 9
    1
    2
    3
    4

    A verification tool for ERLANG.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 405, doi. 10.1007/s100090100071
    By:
    • Fredlund, Lars-Åke;
    • Gurov, Dilian;
    • Noll, Thomas;
    • Dam, Mads;
    • Arts, Thomas;
    • Chugunov, Gennady
    Publication type:
    Article
    5

    Security by typing.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 472, doi. 10.1007/s10009-002-0100-7
    By:
    • Debbabi, Mourad;
    • Durgin, Nancy;
    • Mejri, Mohamed;
    • Mitchell, John C.
    Publication type:
    Article
    6
    7

    Preface by the section editors.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 401, doi. 10.1007/s10009-003-0108-7
    By:
    • Jonsson, Bengt;
    • Sagonas, Konstantinos
    Publication type:
    Article
    8

    Main issues in protocol testing.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 397, doi. 10.1007/s10009-003-0109-6
    By:
    • Hogrefe, Dieter
    Publication type:
    Article
    9

    Worst-case execution-time analysis for embedded real-time systemsTHANKSREF="*"ID="*"This work was performed within the Advanced Software Technology (ASTEC, http://www.astec.uu.se) competence center, supported by the Swedish National Board for Industrial and Technical Development (NUTEK, http://www.nutek.se).

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 4, n. 4, p. 437, doi. 10.1007/s100090100054
    By:
    • Engblom, Jakob;
    • Ermedahl, Andreas;
    • Sjödin, Mikael;
    • Gustafsson, Jan;
    • Hansson, Hans
    Publication type:
    Article