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


Vol-1234/paper-21⫷Vol-1234/paper-22
Jules ChenouWilliam W. EdmonsonNatasha A. NeogiAlbert C. Esterline

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