Travelled to:1 × USA
Collaborated with:X.Crégut M.Pantel
Talks about:approach (1) integr (1) formal (1) verif (1) dsml (1)
Person: Faiez Zalila
 DBLP: Zalila:Faiez
 DBLP: Zalila:Faiez
Contributed to:
Wrote 1 papers:
- MoDELS-2013-ZalilaCP #approach #domain-specific language #integration #verification
- Formal Verification Integration Approach for DSML (FZ, XC, MP), pp. 336–351.












