Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alban Rasse, Jean-Marc Perronne, Pierre-Alain Muller, Bernard Thirion. Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers. Volume 3844 of Lecture Notes in Computer Science, pages 39-47, Springer, 2005. [doi]

This author has not been identified. Look up 'Alban Rasse' in GoogleThis author has not been identified. Look up 'Jean-Marc Perronne' in GoogleThis author has not been identified. It may be one of the following persons:

Pierre-Alain Muller

Look up 'Pierre-Alain Muller' in GoogleThis author has not been identified. Look up 'Bernard Thirion' in Google

runs on WebDSL