Xingjun Zhang, Yan Yang, Endong Wang, Ilsun You, Xiaoshe Dong. Modelling software fault management with runtime verification. IJAHUC, 20(1):26-38, 2015. [doi]
@article{ZhangYWYD15, title = {Modelling software fault management with runtime verification}, author = {Xingjun Zhang and Yan Yang and Endong Wang and Ilsun You and Xiaoshe Dong}, year = {2015}, doi = {10.1504/IJAHUC.2015.071660}, url = {http://dx.doi.org/10.1504/IJAHUC.2015.071660}, researchr = {https://researchr.org/publication/ZhangYWYD15}, cites = {0}, citedby = {0}, journal = {IJAHUC}, volume = {20}, number = {1}, pages = {26-38}, }