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

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 journal › Article › Academic

14 Citations (Scopus)

Original language	Undefined
Pages (from-to)	68-75
Journal	Computer (New York)
Volume	33
Issue number	5
Publication status	Published - 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.

@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",

}

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 -