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

Pubblicazioni di ateneo

Found 2 results
[ Author(Desc)] Titolo Tipo Anno
Filters: Author is Nardone, V.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
N
Nardone, V.., A.. Santone, M.. Tipaldi, D.. Liuzza, and L.. Glielmo, "Model Checking Techniques Applied to Satellite Operational Mode Management", IEEE Systems Journal, 2018.
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.