Model Checking with Graphical Validation Rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sven Feja, Daniel Fötsch. Model Checking with Graphical Validation Rules. In 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland. pages 117-125, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Sven Feja' in GoogleThis author has not been identified. Look up 'Daniel Fötsch' in Google

runs on WebDSL