مؤتمر
Vacuity Analysis by Fault Simulation
| العنوان: | Vacuity Analysis by Fault Simulation |
|---|---|
| المؤلفون: | Di Guglielmo, L., Fummi, F., Pravadelli, G. |
| المصدر: | 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2008. MEMOCODE 2008. 6th ACM/IEEE International Conference on. :27-36 Jun, 2008 |
| Relation: | 2008 6th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781424424177 |
|---|---|
| DOI: | 10.1109/MEMCOD.2008.4547683 |