Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints

Luthmann, Lars; Stephan, Andreas; B{\; Lochau, Malte

doi:10.1145/3106195.3106204

by Lars Luthmann, Andreas Stephan, Johannes Bürdek and Malte Lochau

Reference:

Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints (Lars Luthmann, Andreas Stephan, Johannes Bürdek and Malte Lochau), In Proceedings of the 21st International Systems and Software Product Line Conference, 2017.

Bibtex Entry:

@InProceedings{DBLP:conf/splc/LuthmannSBL17,
  Title                    = {Modeling and Testing Product Lines with Unbounded Parametric Real-Time Constraints},
  Author                   = {Lars Luthmann and Andreas Stephan and Johannes B{\"{u}}rdek and Malte Lochau},
  Booktitle                = {Proceedings of the 21st International Systems and Software Product Line Conference},
  Year                     = {2017},
  Pages                    = {104--113},

  Doi                      = {10.1145/3106195.3106204},
  Url                      = {http://doi.acm.org/10.1145/3106195.3106204}
}