Formal Specification-based Online Monitoring - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hui Liang, Jin Song Dong, Jing Sun, Roger Duke, Rudolph E. Seviora. Formal Specification-based Online Monitoring. In 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA. pages 152-162, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Hui Liang' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in GoogleThis author has not been identified. Look up 'Jing Sun' in GoogleThis author has not been identified. Look up 'Roger Duke' in GoogleThis author has not been identified. Look up 'Rudolph E. Seviora' in Google