دورية أكاديمية
Modeling of a speed control system using Event-B
| العنوان: | Modeling of a speed control system using Event-B |
|---|---|
| المؤلفون: | Mammar, AmelAff1, IDs1000902400749y_cor1, Frappier, Marc |
| المصدر: | International Journal on Software Tools for Technology Transfer. 26(3):347-363 |
| قاعدة البيانات: | Springer Nature Journals |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 14332779 14332787 |
|---|---|
| DOI: | 10.1007/s10009-024-00749-y |