مؤتمر
Probabilistic model checking applied to autonomous spacecraft reconfiguration
| العنوان: | Probabilistic model checking applied to autonomous spacecraft reconfiguration |
|---|---|
| المؤلفون: | Nardone, Vittoria, Santone, Antonella, Tipaldi, Massimo, Glielmo, Luigi |
| المصدر: | 2016 IEEE Metrology for Aerospace (MetroAeroSpace) |
| بيانات النشر: | IEEE |
| سنة النشر: | 2016 |
| نوع الوثيقة: | conference object |
| اللغة: | unknown |
| DOI: | 10.1109/metroaerospace.2016.7573276 |
| الإتاحة: | https://doi.org/10.1109/metroaerospace.2016.7573276Test http://xplorestaging.ieee.org/ielx7/7564334/7573172/07573276.pdf?arnumber=7573276Test |
| رقم الانضمام: | edsbas.6A0814A5 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1109/metroaerospace.2016.7573276 |
|---|