On the Distribution of Property Violations in Formal Models: An Initial Study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim Menzies. On the Distribution of Property Violations in Formal Models: An Initial Study. In 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), 17-21 September 2006, Chicago, Illinois, USA. pages 150-160, IEEE Computer Society, 2006. [doi]

This author has not been identified. Look up 'Jimin Gao' in GoogleThis author has not been identified. It may be one of the following persons:

Mats Per Erik Heimdahl

Look up 'Mats Per Erik Heimdahl' in GoogleThis author has not been identified. Look up 'David Owen' in GoogleThis author has not been identified. Look up 'Tim Menzies' in Google

runs on WebDSL