Executable specifications for model-based development of automotive software

Christoph Bodenstein, Frank Lohse, Armin Zimmermann. Executable specifications for model-based development of automotive software. In Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010. pages 727-732, IEEE, 2010. [doi]

Authors

Christoph Bodenstein

This author has not been identified. Look up 'Christoph Bodenstein' in Google

Frank Lohse

This author has not been identified. Look up 'Frank Lohse' in Google

Armin Zimmermann

This author has not been identified. Look up 'Armin Zimmermann' in Google