دورية أكاديمية
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 |
Full Text Finder | تدمد: | 00189162 15580814 |
|---|---|
| DOI: | 10.1109/2.841786 |