%0 Journal Article %1 journals/jacic/WeissDCDZL06 %A Weiss, Kathryn Anne %A Dulac, Nicolas %A Chiesi, Stephanie %A Daouk, Mirna %A Zipkin, David %A Leveson, Nancy G. %D 2006 %J J. Aerosp. Comput. Inf. Commun. %K dblp %N 11 %P 562-586 %T Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology. %U http://dblp.uni-trier.de/db/journals/jacic/jacic3.html#WeissDCDZL06 %V 3

@article{journals/jacic/WeissDCDZL06, added-at = {2020-05-17T00:00:00.000+0200}, author = {Weiss, Kathryn Anne and Dulac, Nicolas and Chiesi, Stephanie and Daouk, Mirna and Zipkin, David and Leveson, Nancy G.}, biburl = {https://www.bibsonomy.org/bibtex/2d1877cae11e957ee44a50b6dcd9debae/dblp}, ee = {https://doi.org/10.2514/1.24677}, interhash = {348f29a6a9b9734a196e6b73837d15eb}, intrahash = {d1877cae11e957ee44a50b6dcd9debae}, journal = {J. Aerosp. Comput. Inf. Commun.}, keywords = {dblp}, number = 11, pages = {562-586}, timestamp = {2020-05-19T12:16:36.000+0200}, title = {Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology.}, url = {http://dblp.uni-trier.de/db/journals/jacic/jacic3.html#WeissDCDZL06}, volume = 3, year = 2006 }