دورية أكاديمية
Specification-Guided Automated Debugging of CPS Models
| العنوان: | Specification-Guided Automated Debugging of CPS Models |
|---|---|
| المؤلفون: | Singh, N.K., Saha, I. |
| المصدر: | IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 39(11):4142-4153 Nov, 2020 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 02780070 19374151 |
|---|---|
| DOI: | 10.1109/TCAD.2020.3012862 |