التفاصيل البيبلوغرافية
العنوان: |
Formal Synthesis of Uncertainty Reduction Controllers |
المؤلفون: |
Carwehl, Marc, Imrie, Calum, Vogel, Thomas, Rodrigues, Genaina, Calinescu, Radu, Grunske, Lars |
المصدر: |
2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) SEAMS Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2024 IEEE/ACM 19th Symposium on. :2-13 Apr, 2024 |
Relation: |
2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) |
قاعدة البيانات: |
IEEE Xplore Digital Library |