Travelled to:
1 × Italy
Collaborated with:
D.Diaconescu L.Petre K.Sere G.Stefanescu
Talks about:
translat (1) interact (1) preserv (1) system (1) regist (1) refin (1) event (1) voic (1)
Person: Ioana Leustean
DBLP: Leustean:Ioana
Contributed to:
Wrote 1 papers:
- IFM-2012-DiaconescuLPSS #interactive
- Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems (DD, IL, LP, KS, GS), pp. 221–236.