دورية أكاديمية
Function Block Finite-State Model Identification Using SAT and CSP Solvers
| العنوان: | Function Block Finite-State Model Identification Using SAT and CSP Solvers |
|---|---|
| المؤلفون: | Chivilikhin, D., Ulyantsev, V., Shalyto, A., Vyatkin, V. |
| المصدر: | IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 15(8):4558-4568 Aug, 2019 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 15513203 19410050 |
|---|---|
| DOI: | 10.1109/TII.2019.2891614 |