دورية أكاديمية
Robust computation tree logic
العنوان: | Robust computation tree logic |
---|---|
المؤلفون: | Nayak, Satya PrakashAff1, IDs11334024005527_cor1, Neider, DanielAff2, Aff3, IDs11334024005527_cor2, Roy, RajarshiAff1, IDs11334024005527_cor3, Zimmermann, MartinAff4, IDs11334024005527_cor4 |
المصدر: | Innovations in Systems and Software Engineering: A NASA Journal. :1-23 |
قاعدة البيانات: | Springer Nature Journals |
تدمد: | 16145046 16145054 |
---|---|
DOI: | 10.1007/s11334-024-00552-7 |