Modelling software fault management with runtime verification

Xingjun Zhang, Yan Yang, Endong Wang, Ilsun You, Xiaoshe Dong. Modelling software fault management with runtime verification. IJAHUC, 20(1):26-38, 2015. [doi]

Authors

Xingjun Zhang

This author has not been identified. Look up 'Xingjun Zhang' in Google

Yan Yang

This author has not been identified. Look up 'Yan Yang' in Google

Endong Wang

This author has not been identified. Look up 'Endong Wang' in Google

Ilsun You

This author has not been identified. Look up 'Ilsun You' in Google

Xiaoshe Dong

This author has not been identified. Look up 'Xiaoshe Dong' in Google