%0 Journal Article %1 journals/et/XiaFBHM13 %A Xia, Likun %A Farooq, Muhammad Umer %A Bell, Ian M. %A Hussin, Fawnizu Azmadi %A Malik, Aamir Saeed %D 2013 %J J. Electron. Test. %K dblp %N 6 %P 861-877 %T Survey and Evaluation of Automated Model Generation Techniques for High Level Modeling and High Level Fault Modeling. %U http://dblp.uni-trier.de/db/journals/et/et29.html#XiaFBHM13 %V 29

@article{journals/et/XiaFBHM13, added-at = {2021-07-25T00:00:00.000+0200}, author = {Xia, Likun and Farooq, Muhammad Umer and Bell, Ian M. and Hussin, Fawnizu Azmadi and Malik, Aamir Saeed}, biburl = {https://www.bibsonomy.org/bibtex/24db6786b16c23c2bde8d8f08abf980f8/dblp}, ee = {https://doi.org/10.1007/s10836-013-5401-0}, interhash = {f4b2aa9b0abe5a1cb2a7120c42206834}, intrahash = {4db6786b16c23c2bde8d8f08abf980f8}, journal = {J. Electron. Test.}, keywords = {dblp}, number = 6, pages = {861-877}, timestamp = {2024-04-08T20:52:46.000+0200}, title = {Survey and Evaluation of Automated Model Generation Techniques for High Level Modeling and High Level Fault Modeling.}, url = {http://dblp.uni-trier.de/db/journals/et/et29.html#XiaFBHM13}, volume = 29, year = 2013 }