Showing results 2 to 2 of 2
Formal verification of consistency between feature model and software architecture in software product line Satyananda T.K.; Lee, Danhyung; Kang S., 2nd International Conference on Software Engineering Advances - ICSEA 2007, v.0, no.0, pp.0 - 0, IEEE, 2007-08-25 |
Discover