مؤتمر
Comparison of Event-B and ProB Verification
| العنوان: | Comparison of Event-B and ProB Verification |
|---|---|
| المؤلفون: | Zou, Sheng-Rong, Yao, Ju-Yi, Shi, Xu-Qing, Shu, Yu-Dan |
| المصدر: | 2021 6th International Conference on Computational Intelligence and Applications (ICCIA) ICCIA Computational Intelligence and Applications (ICCIA), 2021 6th International Conference on. :102-106 Jun, 2021 |
| Relation: | 2021 6th International Conference on Computational Intelligence and Applications (ICCIA) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781665439336 |
|---|---|
| DOI: | 10.1109/ICCIA52886.2021.00027 |