التفاصيل البيبلوغرافية
| العنوان: |
Building Correct Hybrid Systems using Event-B and Sagemath: Illustration by the Hybrid Smart Heating System Case Study |
| المؤلفون: |
Afendi, Meryem, Mammar, Amel, Laleau, Regine |
| المصدر: |
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) ICECCS Engineering of Complex Computer Systems (ICECCS), 2022 26th International Conference on. :91-96 Mar, 2022 |
| Relation: |
2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
