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
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.