|
 
|
Thi Kim Dung Pham
|
Doctorant(e) Equipe SYS Parti depuis le 01/01/2018 Mail : phamthikimzung  gmail.com
Directeur de thèse : Nicole Levy |
Publications
2017
-
[Pha17]
T. Pham .
"Development of Correct-by-Construction Software using Product Lines",
-
[Pha17a]
T. Pham .
"Development of Correct-by-Construction Software using Product Lines",
Soutenue le: 16 November 2017,
Mémoire de Thèse
2016
-
[DLP16]
C. Dubois, N. Levy, T. Pham .
"Vers un développement formel non incrémental",
AFADL'2016,
June 2016,
pp.106-113,
Besançon,
France,
Conférence Nationale avec comité de lecture
2015
- [PDL15] T. Pham , C. Dubois, N. Levy. "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules", Formal Methods and Analysis in SPL Engineering (FMSPLE 2015), April 2015, Vol. 182, pp.44-55, London, UK, (DOI: 10.4204/EPTCS.182)
