skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento

Pubblicazioni di ateneo

Found 2 results
Author Titolo Tipo [ Anno(Desc)]
Filters: Author is Nardone, V.  [Clear All Filters]
2016
Nardone, V.., A.. Santone, M.. Tipaldi, and L.. Glielmo, "Probabilistic model checking applied to autonomous spacecraft reconfiguration", 3rd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2016 - Proceedings, pp. 556-560, 2016.