دورية أكاديمية
Monitoring with verified guarantees
العنوان: | Monitoring with verified guarantees |
---|---|
المؤلفون: | Baumeister, Jan, Dauer, Johann C., Finkbeiner, Bernd, Schirmer, SebastianAff2, IDs10009023007123_cor4 |
المصدر: | International Journal on Software Tools for Technology Transfer. 25(4):593-616 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 14332779 14332787 |
---|---|
DOI: | 10.1007/s10009-023-00712-3 |