Travelled to:
1 × Germany
Collaborated with:
B.Nicolescu R.Velazco M.Rebaudengo M.S.Reorda M.Violante
Talks about:
experiment (1) transform (1) automat (1) system (1) safeti (1) level (1) evalu (1) high (1) code (1)
Person: Ph. Cheynet
DBLP: Cheynet:Ph=
Contributed to:
Wrote 1 papers:
- DATE-2001-CheynetNVRRV #automation #evaluation #program transformation #safety
- System safety through automatic high-level code transformations: an experimental evaluation (PC, BN, RV, MR, MSR, MV), pp. 297–301.