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]

@inproceedings{SvendsenHM11-1,
  title = {Synthesizing Software Models: Generating Train Station Models Automatically},
  author = {Andreas Svendsen and Øystein Haugen and Birger Møller-Pedersen},
  year = {2011},
  doi = {10.1007/978-3-642-25264-8_5},
  url = {http://dx.doi.org/10.1007/978-3-642-25264-8_5},
  researchr = {https://researchr.org/publication/SvendsenHM11-1},
  cites = {0},
  citedby = {0},
  pages = {38-53},
  booktitle = {SDL 2011: Integrating System and Software Modeling - 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers},
  editor = {Iulian Ober and Ileana Ober},
  volume = {7083},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-25263-1},
}