%0 Conference Paper %1 conf/csdm/ChenouEEN14 %A Chenou, Jules %A Edmonson, William W. %A Esterline, Albert C. %A Neogi, Natasha A. %B CSDM (Posters) %D 2014 %E Boulanger, Frédéric %E Krob, Daniel %E Morel, Gérard %E Roussel, Jean-Claude %I CEUR-WS.org %K dblp %P 263-281 %T Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems. %U http://dblp.uni-trier.de/db/conf/csdm/csdm2014p.html#ChenouEEN14 %V 1234

@inproceedings{conf/csdm/ChenouEEN14, added-at = {2023-03-10T00:00:00.000+0100}, author = {Chenou, Jules and Edmonson, William W. and Esterline, Albert C. and Neogi, Natasha A.}, biburl = {https://www.bibsonomy.org/bibtex/2623a615cac3075d9f7d5a8b2a6883f01/dblp}, booktitle = {CSDM (Posters)}, crossref = {conf/csdm/2014p}, editor = {Boulanger, Frédéric and Krob, Daniel and Morel, Gérard and Roussel, Jean-Claude}, ee = {https://ceur-ws.org/Vol-1234/paper-22.pdf}, interhash = {3be45e1d06bdc863c1d22d408fa14d7a}, intrahash = {623a615cac3075d9f7d5a8b2a6883f01}, keywords = {dblp}, pages = {263-281}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T09:59:53.000+0200}, title = {Formal Framework for Ensuring Consistent System and Component Theories in the Design of Small Satellite Systems.}, url = {http://dblp.uni-trier.de/db/conf/csdm/csdm2014p.html#ChenouEEN14}, volume = 1234, year = 2014 }