دورية أكاديمية
Methods for Reliable Simulation-Based PLC Code Verification
| العنوان: | Methods for Reliable Simulation-Based PLC Code Verification |
|---|---|
| المؤلفون: | Carlsson, H., Svensson, B., Danielsson, F., Lennartson, B. |
| المصدر: | IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 8(2):267-278 May, 2012 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 15513203 19410050 |
|---|---|
| DOI: | 10.1109/TII.2011.2182653 |