دورية أكاديمية
Practical verification of embedded software
العنوان: | Practical verification of embedded software |
---|---|
المؤلفون: | Straunstrup, J., Andersen, H.R., Hulgaard, H., Lind-Nielsen, J., Behrmann, G., Kristoffersen, K., Skou, A., Leerberg, HH., Theilgaard, N.B. |
المصدر: | Computer. 33(5):68-75 May, 2000 |
قاعدة البيانات: | IEEE Xplore Digital Library |
تدمد: | 00189162 15580814 |
---|---|
DOI: | 10.1109/2.841786 |