| 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",
}
Staunstrup, J, Larsen, KG, Andersen, HR, Hulgaard, H, Behrmann, G, Kristoffersen, K, Lind-Nielsen, J, Leerberg, H, Skou, A & Theilgaard, NB 2000, 'Practical Verification of Embedded Software' Computer (New York), vol. 33, no. 5, pp. 68-75.
Practical Verification of Embedded Software. / Staunstrup, J.; Larsen, K.G.; Andersen, H.R.; Hulgaard, H.; Behrmann, G.; Kristoffersen, K.; Lind-Nielsen, J.; Leerberg, H.; Skou, A.; Theilgaard, N.B.
In: Computer (New York), Vol. 33, No. 5, 2000, p. 68-75.Research output: Contribution to journal › Article › Academic
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 -
Staunstrup J, Larsen KG, Andersen HR, Hulgaard H, Behrmann G, Kristoffersen K et al. Practical Verification of Embedded Software. Computer (New York). 2000;33(5):68-75.