دورية أكاديمية
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 |
Find this article in full text from Springer Verlag. 
Full Text Finder | تدمد: | 16145046 16145054 |
|---|---|
| DOI: | 10.1007/s11334-024-00552-7 |