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