Analyzing critical process models through behavior model synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christophe Damas, Bernard Lambeau, Francois Roucoux, Axel van Lamsweerde. Analyzing critical process models through behavior model synthesis. In 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings. pages 441-451, IEEE, 2009. [doi]

This author has not been identified. Look up 'Christophe Damas' in GoogleThis author has not been identified. Look up 'Bernard Lambeau' in GoogleThis author has not been identified. Look up 'Francois Roucoux' in GoogleThis author has not been identified. Look up 'Axel van Lamsweerde' in Google

runs on WebDSL