Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marian Borek, Kuzman Katkalov, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. Integrating a Model-Driven Approach and Formal Verification for the Development of Secure Service Applications. In Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger, editors, Correct Software in Web Applications and Web Services. pages 45-81, Springer, 2015. [doi]

This author has not been identified. Look up 'Marian Borek' in GoogleThis author has not been identified. Look up 'Kuzman Katkalov' in GoogleThis author has not been identified. Look up 'Nina Moebius' in GoogleThis author has not been identified. It may be one of the following persons:

Wolfgang Reif

Look up 'Wolfgang Reif' in GoogleThis author has not been identified. Look up 'Gerhard Schellhorn' in GoogleThis author has not been identified. Look up 'Kurt Stenzel' in Google

runs on WebDSL