Travelled to:
1 × The Netherlands
Collaborated with:
J.Liu S.Liang J.Wei T.Huang
Talks about:
constraint (1) workflow (1) backward (1) analysi (1) propag (1) verif (1) use (1) etl (1)
Person: Dan Ye
DBLP: Ye:Dan
Contributed to:
Wrote 1 papers:
- CAiSE-2009-LiuLYWH #analysis #constraints #using #verification #workflow
- ETL Workflow Analysis and Verification Using Backwards Constraint Propagation (JL, SL, DY, JW, TH), pp. 455–469.