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

Pubblicazioni di ateneo

Found 1 results
Author Titolo Tipo [ Anno(Asc)]
Filters: Author is Massimo Tipaldi  [Clear All Filters]
2016
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.