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

15 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

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