Symbolic invariant verification for systems with dynamic structural adaptation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Basil Becker, Dirk Beyer, Holger Giese, Florian Klein, Daniela Schilling. Symbolic invariant verification for systems with dynamic structural adaptation. In Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa, editors, 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. pages 72-81, ACM, 2006. [doi]

This author has not been identified. It may be one of the following persons:

Basil Becker

Look up 'Basil Becker' in GoogleThis author has not been identified. Look up 'Dirk Beyer' in GoogleThis author has not been identified. It may be one of the following persons:

Holger Giese

Look up 'Holger Giese' in GoogleThis author has not been identified. Look up 'Florian Klein' in GoogleThis author has not been identified. Look up 'Daniela Schilling' in Google

runs on WebDSL