About this scholarly article

Probabilistic Model Checking Applied to Autonomous Spacecraft Reconfiguration by Nardone, Vittoria ;Santone, Antonella ;Tipaldi, Massimo ;Glielmo, Luigi is a scholarly article available to read on EtoBox.

Author

Nardone, Vittoria ;Santone, Antonella ;Tipaldi, Massimo ;Glielmo, Luigi

Publisher

IEEE

Published

2016

Language

EN