مؤتمر
Communication protocol analysis of transaction-level models using Satisfiability Modulo Theories
| العنوان: | Communication protocol analysis of transaction-level models using Satisfiability Modulo Theories |
|---|---|
| المؤلفون: | Che-Wei Chang, Domer, Rainer |
| المصدر: | The 20th Asia and South Pacific Design Automation Conference Design Automation Conference (ASP-DAC), 2015 20th Asia and South Pacific. :606-611 Jan, 2015 |
| Relation: | 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479977901 9781479977925 |
|---|---|
| تدمد: | 21536961 2153697X |
| DOI: | 10.1109/ASPDAC.2015.7059075 |