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

Lars Luthmann, Andreas Stephan, Johannes Brdek, Malte Lochau

Browse the full SPLC paper archive.