%0 Journal Article %1 journals/tse/WangBY05 %A Wang, Dongfeng %A Bastani, Farokh B. %A Yen, I-Ling %D 2005 %J IEEE Trans. Software Eng. %K dblp %N 9 %P 713-732 %T Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance. %U http://dblp.uni-trier.de/db/journals/tse/tse31.html#WangBY05 %V 31

@article{journals/tse/WangBY05, added-at = {2015-12-10T00:00:00.000+0100}, author = {Wang, Dongfeng and Bastani, Farokh B. and Yen, I-Ling}, biburl = {https://www.bibsonomy.org/bibtex/2752d9da1f86b1729a18471aff1dccfce/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/TSE.2005.99}, interhash = {29afd62670ed510355fe61f70ad23688}, intrahash = {752d9da1f86b1729a18471aff1dccfce}, journal = {IEEE Trans. Software Eng.}, keywords = {dblp}, number = 9, pages = {713-732}, timestamp = {2015-12-12T11:48:11.000+0100}, title = {Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse31.html#WangBY05}, volume = 31, year = 2005 }