Verifying architectural design rules of the flight software product line.

Dharmalingam Ganesan, Mikael Lindvall, Christopher Ackermann, David McComas, Maureen Bartholomew

Browse the full SPLC paper archive.