Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line.

Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang

Browse the full ICSEA paper archive.