Model Checking Techniques for Test Generation from Business Process Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Didier Buchs, Levi Lucio, Ang Chen. Model Checking Techniques for Test Generation from Business Process Models. In Fabrice Kordon, Yvon Kermarrec, editors, Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings. Volume 5570 of Lecture Notes in Computer Science, pages 59-74, Springer, 2009. [doi]

This author has not been identified. Look up 'Didier Buchs' in GoogleThis author has not been identified. Look up 'Levi Lucio' in GoogleThis author has not been identified. Look up 'Ang Chen' in Google

runs on WebDSL