Practical Verification of Embedded Software

J. Staunstrup, K.G. Larsen, H.R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen, J. Lind-Nielsen, H. Leerberg, A. Skou, N.B. Theilgaard

    Research output: Contribution to journalArticleAcademic

    14 Citations (Scopus)
    Original languageUndefined
    Pages (from-to)68-75
    JournalComputer (New York)
    Volume33
    Issue number5
    Publication statusPublished - 2000

    Keywords

    • METIS-118702

    Cite this

    Staunstrup, J., Larsen, K. G., Andersen, H. R., Hulgaard, H., Behrmann, G., Kristoffersen, K., ... Theilgaard, N. B. (2000). Practical Verification of Embedded Software. Computer (New York), 33(5), 68-75.
    Staunstrup, J. ; Larsen, K.G. ; Andersen, H.R. ; Hulgaard, H. ; Behrmann, G. ; Kristoffersen, K. ; Lind-Nielsen, J. ; Leerberg, H. ; Skou, A. ; Theilgaard, N.B. / Practical Verification of Embedded Software. In: Computer (New York). 2000 ; Vol. 33, No. 5. pp. 68-75.
    @article{187a74f63db546fd84508eaf3649b7b2,
    title = "Practical Verification of Embedded Software",
    keywords = "METIS-118702",
    author = "J. Staunstrup and K.G. Larsen and H.R. Andersen and H. Hulgaard and G. Behrmann and K. Kristoffersen and J. Lind-Nielsen and H. Leerberg and A. Skou and N.B. Theilgaard",
    year = "2000",
    language = "Undefined",
    volume = "33",
    pages = "68--75",
    journal = "Computer (New York)",
    issn = "0018-9162",
    publisher = "IEEE Computer Society",
    number = "5",

    }

    Staunstrup, J, Larsen, KG, Andersen, HR, Hulgaard, H, Behrmann, G, Kristoffersen, K, Lind-Nielsen, J, Leerberg, H, Skou, A & Theilgaard, NB 2000, 'Practical Verification of Embedded Software' Computer (New York), vol. 33, no. 5, pp. 68-75.

    Practical Verification of Embedded Software. / Staunstrup, J.; Larsen, K.G.; Andersen, H.R.; Hulgaard, H.; Behrmann, G.; Kristoffersen, K.; Lind-Nielsen, J.; Leerberg, H.; Skou, A.; Theilgaard, N.B.

    In: Computer (New York), Vol. 33, No. 5, 2000, p. 68-75.

    Research output: Contribution to journalArticleAcademic

    TY - JOUR

    T1 - Practical Verification of Embedded Software

    AU - Staunstrup, J.

    AU - Larsen, K.G.

    AU - Andersen, H.R.

    AU - Hulgaard, H.

    AU - Behrmann, G.

    AU - Kristoffersen, K.

    AU - Lind-Nielsen, J.

    AU - Leerberg, H.

    AU - Skou, A.

    AU - Theilgaard, N.B.

    PY - 2000

    Y1 - 2000

    KW - METIS-118702

    M3 - Article

    VL - 33

    SP - 68

    EP - 75

    JO - Computer (New York)

    JF - Computer (New York)

    SN - 0018-9162

    IS - 5

    ER -

    Staunstrup J, Larsen KG, Andersen HR, Hulgaard H, Behrmann G, Kristoffersen K et al. Practical Verification of Embedded Software. Computer (New York). 2000;33(5):68-75.