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.