Tonny Kurniadi Satyananda, Danhyung Lee, Sungwon Kang. Formal Verification of Consistency between Feature Model and Software Architecture in Software Product Line. In Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France. pages 10, IEEE Computer Society, 2007. [doi]
Abstract is missing.