Probabilistic Model Checking applied to Spacecraft Reconfiguration |

skip to content

Inserito da Antonella Santone il 17 novembre, 2016 - 15:10

Nardone, V., A. Santone, M. Tipaldi, and L. Glielmo, "Probabilistic Model Checking applied to Spacecraft Reconfiguration", 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016, Florence, Italy, June 22-23: IEEE Computer Society, 2016.

Google Scholar