مؤتمر
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 |
ردمك: | 9781479939459 9781479939466 |
---|---|
تدمد: | 19483287 19483295 |
DOI: | 10.1109/ISQED.2014.6783380 |