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

Pubblicazioni di ateneo

Found 2 results
Author [ Titolo(Desc)] Tipo Anno
Filters: First Letter Of Title is M and Author is Tipaldi, M.  [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 
M
Tipaldi, M.., and L.. Glielmo, "A Markovian based approach for autonomous space systems", 2nd IEEE International Workshop on Metrology for Aerospace, MetroAeroSpace 2015 - Proceedings, pp. 426-430, 2015.
Nardone, V.., A.. Santone, M.. Tipaldi, D.. Liuzza, and L.. Glielmo, "Model Checking Techniques Applied to Satellite Operational Mode Management", IEEE Systems Journal, 2018.