دورية أكاديمية
Modelling Second-Order Uncertainty in State Machines
| العنوان: | Modelling Second-Order Uncertainty in State Machines |
|---|---|
| المؤلفون: | Walkinshaw, N., Hierons, R.M. |
| المصدر: | IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 49(5):3261-3276 May, 2023 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 00985589 19393520 23263881 |
|---|---|
| DOI: | 10.1109/TSE.2023.3250835 |