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


Vol-1234/paper-21⫷Vol-1234/paper-22
Albert C. EsterlineNatasha A. NeogiWilliam W. EdmonsonJules Chenou

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