AcubeSAT AcubeSAT
  • About
  • Publications
  • Members
  • Positions
  • Sponsors
spacedot logo
Depend CSD
December 14, 2022

Depend is a research lab that belongs to the Computer Science department of Aristotle University of Thessaloniki.

Their recent research activity focuses on model-based design in the broader context of formal verification.

© AcubeSAT 2025
The AcubeSAT project is carried out with the support of the Education Office of the European Space Agency, under the educational Fly Your Satellite! programme.
Hosted by LANCOM
European Space Agency logo Fly Your Satellite logo Aristotle University of Thessaloniki logo SpaceDot logo