Software monitoring through formal specification animation

Hui Liang, Jin Song Dong, Jing Sun, W. Eric Wong. Software monitoring through formal specification animation. ISSE, 5(4):231-241, 2009. [doi]

Authors

Hui Liang

This author has not been identified. Look up 'Hui Liang' in Google

Jin Song Dong

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

Jing Sun

This author has not been identified. Look up 'Jing Sun' in Google

W. Eric Wong

This author has not been identified. It may be one of the following persons: Look up 'W. Eric Wong' in Google