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

Model Checking Techniques Applied to Satellite Operational Mode Management