Travelled to:
1 × Germany
Collaborated with:
J.Milhau M.Frappier
Talks about:
process (1) generat (1) express (1) automat (1) symbol (1) messag (1) execut (1) error (1)
Person: Benoît Fraikin
DBLP: Fraikin:Beno=icirc=t
Contributed to:
Wrote 1 papers:
- IFM-2009-MilhauFF #automation #error message #execution #fault #generative #process #symbolic computation
- Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions (JM, BF, MF), pp. 337–351.