التفاصيل البيبلوغرافية
العنوان: |
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 |