دورية أكاديمية
Formal Methods for Systems Engineering Behavior Models
| العنوان: | Formal Methods for Systems Engineering Behavior Models |
|---|---|
| المؤلفون: | Seidner, C., Roux, O. H. |
| المصدر: | IEEE Transactions on Industrial Informatics IEEE Trans. Ind. Inf. Industrial Informatics, IEEE Transactions on. 4(4):280-291 Nov, 2008 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 15513203 19410050 |
|---|---|
| DOI: | 10.1109/TII.2008.2008998 |