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

Lars Luthmann Andreas Stephan Johannes Bürdek Malte Lochau

Published in: SPLC (A) (2017)

Keyphrases

real time
product lines
product line
low cost
software systems
control system
real time systems
constraint satisfaction
software engineering
test cases
modeling language