Jules Chenou, William Edmonson, Albert C. Esterline, Natasha A. Neogi. Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. In Frédéric Boulanger, Daniel Krob, Gérard Morel, Jean-Claude Roussel, editors, Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), Paris, France, November 12th, 2014. Volume 1234 of CEUR Workshop Proceedings, pages 263-281, CEUR-WS.org, 2014. [doi]
Abstract is missing.