مؤتمر
Coverage of compositional property sets under reactive constraints
| العنوان: | Coverage of compositional property sets under reactive constraints |
|---|---|
| المؤلفون: | Bao, Binghao, Bormann, Jorg, Wedler, Markus, Stoffel, Dominik, Kunz, Wolfgang |
| المصدر: | Fifteenth International Symposium on Quality Electronic Design Quality Electronic Design (ISQED), 2014 15th International Symposium on. :589-596 Mar, 2014 |
| Relation: | 2014 15th International Symposium on Quality Electronic Design (ISQED) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781479939459 9781479939466 |
|---|---|
| تدمد: | 19483287 19483295 |
| DOI: | 10.1109/ISQED.2014.6783380 |