Practical Verification of Embedded Software

J. Staunstrup; Kim Guldstrand Larsen; H. R. Andersen; H. Hulgaard; Gerd Behrmann; K. Kristoffersen; J. Lind-Nielsen; H. Leerberg; Arne Skou; N. B. Theilgaard

Practical Verification of Embedded Software

J. Staunstrup, Kim Guldstrand Larsen, H. R. Andersen, H. Hulgaard, Gerd Behrmann, K. Kristoffersen, J. Lind-Nielsen, H. Leerberg, Arne Skou, N. B. Theilgaard

Department of Computer Science

Research output: Contribution to journal › Journal article › Research › peer-review

15 Citations (Scopus)

Original language	English
Journal	Computer
Volume	33
Issue number	5
Pages (from-to)	68-75
ISSN	0018-9162
Publication status	Published - 2000

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@article{5a4232f0809211db8b97000ea68e967b,

title = "Practical Verification of Embedded Software",

author = "J. Staunstrup and Larsen, {Kim Guldstrand} and Andersen, {H. R.} and H. Hulgaard and Gerd Behrmann and K. Kristoffersen and J. Lind-Nielsen and H. Leerberg and Arne Skou and Theilgaard, {N. B.}",

year = "2000",

language = "English",

volume = "33",

pages = "68--75",

journal = "Computer",

issn = "0018-9162",

publisher = "IEEE Computer Society Press",

number = "5",

}

TY - JOUR

T1 - Practical Verification of Embedded Software

AU - Staunstrup, J.

AU - Larsen, Kim Guldstrand

AU - Andersen, H. R.

AU - Hulgaard, H.

AU - Behrmann, Gerd

AU - Kristoffersen, K.

AU - Lind-Nielsen, J.

AU - Leerberg, H.

AU - Skou, Arne

AU - Theilgaard, N. B.

PY - 2000

Y1 - 2000

M3 - Journal article

SN - 0018-9162

VL - 33

SP - 68

EP - 75

JO - Computer

JF - Computer

IS - 5

ER -