%0 Journal Article %1 journals/ijahuc/ZhangYWYD15 %A Zhang, Xingjun %A Yang, Yan %A Wang, Endong %A You, Ilsun %A Dong, Xiaoshe %D 2015 %J Int. J. Ad Hoc Ubiquitous Comput. %K dblp %N 1 %P 26-38 %T Modelling software fault management with runtime verification. %U http://dblp.uni-trier.de/db/journals/ijahuc/ijahuc20.html#ZhangYWYD15 %V 20

@article{journals/ijahuc/ZhangYWYD15, added-at = {2022-10-02T00:00:00.000+0200}, author = {Zhang, Xingjun and Yang, Yan and Wang, Endong and You, Ilsun and Dong, Xiaoshe}, biburl = {https://www.bibsonomy.org/bibtex/206ec07fd6b156247f3c4a9dcdb44a2c3/dblp}, ee = {https://doi.org/10.1504/IJAHUC.2015.071660}, interhash = {c0cd4e9be54b6460bd1e467b182c8b1b}, intrahash = {06ec07fd6b156247f3c4a9dcdb44a2c3}, journal = {Int. J. Ad Hoc Ubiquitous Comput.}, keywords = {dblp}, number = 1, pages = {26-38}, timestamp = {2024-04-09T00:39:22.000+0200}, title = {Modelling software fault management with runtime verification.}, url = {http://dblp.uni-trier.de/db/journals/ijahuc/ijahuc20.html#ZhangYWYD15}, volume = 20, year = 2015 }