VNU-UET Repository

Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules

Pham, Thi Kim Dung and Dubois, Catherine and Levy, Nicole (2015) Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules. In: FMSPLE: the 6th Workshop on Formal Methods and Analysis in SPL Engineering, 11 April 2015, London, United Kingdom.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Dr Minh Trien Pham
Date Deposited: 03 Jun 2016 09:41
Last Modified: 03 Jun 2016 09:41
URI: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/1648

Actions (login required)

View Item View Item