%0 Journal Article %1 journals/amai/GravesB11 %A Graves, Henson %A Bijan, Yvonne %D 2011 %J Ann. Math. Artif. Intell. %K dblp %N 1 %P 53-102 %T Using formal methods with SysML in aerospace design and engineering. %U http://dblp.uni-trier.de/db/journals/amai/amai63.html#GravesB11 %V 63

@article{journals/amai/GravesB11, added-at = {2012-02-02T00:00:00.000+0100}, author = {Graves, Henson and Bijan, Yvonne}, biburl = {https://www.bibsonomy.org/bibtex/26fbffc5a42a5f66d6a835910ecedf2b6/dblp}, ee = {http://dx.doi.org/10.1007/s10472-011-9267-5}, interhash = {38227eba4c780f3c06079de8ce7244fe}, intrahash = {6fbffc5a42a5f66d6a835910ecedf2b6}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 1, pages = {53-102}, timestamp = {2012-02-03T11:33:29.000+0100}, title = {Using formal methods with SysML in aerospace design and engineering.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai63.html#GravesB11}, volume = 63, year = 2011 }