Accéder directement au contenu

Fahad Rafique Golra

1
Documents

Publications

"jeanine-souquieres"
Image document

Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation

Fahad Rafique Golra , Fabien Dagnat , Jeanine Souquières , Imen Sayar , Sylvain Guerin
16th International Conference on Software Engineering and Formal Methods (SEFM 2018), Jun 2018, Toulouse, France. pp.54-69, ⟨10.1007/978-3-319-92970-5_4⟩
Communication dans un congrès hal-01853610v1