Model-Based Approaches for Validating Business Critical Systems

Juan Carlos Augusto, Y. Howard, Andrew M. Gravell, Carla Ferreira, Stefan Gruner, Michael Leuschel. Model-Based Approaches for Validating Business Critical Systems. In 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 19-21 September 2003, Amsterdam, The Netherlands. pages 225-233, IEEE Computer Society, 2003. [doi]

Authors

Juan Carlos Augusto

This author has not been identified. Look up 'Juan Carlos Augusto' in Google

Y. Howard

This author has not been identified. Look up 'Y. Howard' in Google

Andrew M. Gravell

This author has not been identified. Look up 'Andrew M. Gravell' in Google

Carla Ferreira

This author has not been identified. Look up 'Carla Ferreira' in Google

Stefan Gruner

This author has not been identified. Look up 'Stefan Gruner' in Google

Michael Leuschel

Identified as Michael Leuschel