Vol-1233⫷ Vol-1234 ⫸Vol-1235
urn:nbn:de:0074-1234-0


Vol-1234/paper-21⫷Vol-1234/paper-22

Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems