Synthesizing Software Models: Generating Train Station Models Automatically

Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. Synthesizing Software Models: Generating Train Station Models Automatically. In Iulian Ober, Ileana Ober, editors, SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. Volume 7083 of Lecture Notes in Computer Science, pages 38-53, Springer, 2011. [doi]

Authors

Andreas Svendsen

This author has not been identified. Look up 'Andreas Svendsen' in Google

Øystein Haugen

This author has not been identified. Look up 'Øystein Haugen' in Google

Birger Møller-Pedersen

This author has not been identified. It may be one of the following persons: Look up 'Birger Møller-Pedersen' in Google