Composition of Verification Assets for Software Product Lines of Cyber Physical Systems.

Ethan T. McGee, Roselane S. Silva, John D. McGregor

Browse the full ICSR paper archive.